屈婉玲
屈婉玲（1946年-2020年8月19日），女，中国共产党党员，1969年毕业于北京大学物理系物理专业，生前曾任北京大学信息科学技术学院教授，博士生导师，中国人工智能学会离散数学专委会副主任。多年讲授本科生主干基础课离散数学和研究生必修课算法设计与分析。主要研究方向是算法设计与分析、软件形式化方法。参与国家973、863和自然科学基金研究课题多项。发表论文30多篇，出版教材、教学参考书、译著20多部。2020年8月19日，屈婉玲教授因病医治无效在北京大学校医院逝世，享年75岁。
人物经历
1963.9-1969.7 北京大学物理系物理专业 本科毕业；
1978.9-1994.11 北京大学计算机系 助教、讲师、副教授；
1994.11-1995.11 澳大利亚国立大学计算机系 访问学者；
1995.11-2002.9 北京大学计算机系 副教授、教授；
2002.9- 北京大学信息科学技术学院、软件与微电子学院 教授；
2020年8月19日10时53分，屈婉玲教授因病医治无效，在北京大学校医院逝世，享年75岁。
主要项目
- 构件正确性证明研究，国家自然科学基金项目，参与人，2008-2010。
- 网构软件的可信和服务质量需求建模与分析，973子课题，参与人，2009-2011。
- 面向服务的软件理论、方法及其应用，国家自然科学基金，参与人，2011-2014。
学术成果
1. 北京市精品教材，离散数学教程，耿素云，屈婉玲，王捍贫，北大出版社，2004修订。
2. 北京市精品教材，离散数学（第4版），耿素云，屈婉玲，张立昂，清华大学出版社，2008。
3. 国家十一五规划教材，离散数学，屈婉玲，耿素云，张立昂，高教出版社，2008。
4. 离散数学（第2版），屈婉玲，耿素云，张立昂，清华大学出版社，2008。
5. 算法设计（译著），张立昂，屈婉玲，清华大学出版社，2006。
6. Wangsen Feng, Wanling Qu and Hanpin Wang. Lower bounds on the cardinality of maximum matchings in graphs with bounded degrees. in the proceeding of international conference on foundations of 计算机 science 2007, Las Vegas, Nevada, USA，110-113。
7. Wangsen Feng, Wanling Qu, Hanpin Wang and Li'ang Zhang, Approximation algorithms for maximum edge coloring. Accepted by Theoretical Computer Science。
8. 耿素云，屈婉玲，张立昂，离散数学（第五版），清华大学出版社，2013。
9. 耿素云，屈婉玲，张立昂，离散数学题解（第五版），清华大学出版社，2013。
10. 屈婉玲，王捍贫，段莉华，面向软件工程学科的算法课程建设，中国大学教学(中文社会科学索引来源期刊，CSSCI)，2012.12. P39。
获得荣誉
屈婉玲教授在教学和科研方面获得了多项荣誉，包括：
- 1999年度，2006年度北京大学十佳教师。
- 2001年，屈婉玲、耿素云、张立昂、王捍贫，离散数学课程建设，北京市教学成果奖一等奖。
- 2004年度北京市优秀教师。
- 2005年，主持的离散数学课程评为国家级精品课程。
- 2005年度北京市精品教材：耿素云、屈婉玲、王捍贫，离散数学教程，北京大学出版社有限公司，2002。
- 2005年度北京市精品教材：耿素云、屈婉玲、张立昂，离散数学，清华大学出版社，2004。
- 2010年北京大学软件与微电子学院“2009-2010学年先进个人”。