多年主讲北京大学信息科学技术学院本科生离散数学课程（代数结构与组合数学），系国家级精品课离散数学课程主持人。多年主讲算法分析与复杂性理论、算法分析与设计等研究生必修课。主持过多项教改课题，出版过20多本教材，其中含4本国家级规划教材。承担过多项国家科研项目，主要研究方向是算法设计与分析、软件形式化方法，发表学术论文30多篇。
个人简历
1963.9-1969.7
北京大学物理系物理专业 本科毕业
1978.9-1994.11
北京大学计算机系 助教、讲师、副教授
1994.11-1995.11
澳大利亚国立大学计算机系 访问学者
1995.11-2002.9
北京大学计算机系 副教授、教授
2002.9-
北京大学信息科学技术学院、软件与微电子学院 教授
主讲课程
《算法分析与设计》 研究生课程
研究方向
算法设计与分析
软件形式化方法
主要科研项目
构件正确性证明研究，国家自然科学基金项目，参与人，2008-2010.
网构软件的可信和服务质量需求建模与分析，973子课题，参与人，2009-2011.
面向服务的软件理论、方法及其应用，国家自然科学基金，参与人，2011-2014.
曾获奖项
2001年，屈婉玲、耿素云、张立昂、王捍贫，离散数学课程建设，北京市教学成果奖一等奖
1999年度，2006年度北京大学十佳教师
2004年度北京市优秀教师
2005年，主持的离散数学课程评为国家级精品课程
2005年度北京市精品教材：耿素云、屈婉玲、王捍贫，离散数学教程，北京大学出版社，2002.
2005年度北京市精品教材：耿素云、屈婉玲、张立昂，离散数学，清华大学出版社，2004.
2009年度教育部精品教材：屈婉玲、耿素云、张立昂，离散数学(第2版)，清华大学出版社，2008.
2010年北京大学软件与微电子学院“2009-1010学年先进个人”
发表论文
Shuqin Huang, Yongzhi Cao, Hanpin Wang, Wanlling Qu, Value-passing CCS with noisy Channels, Theoretical Computer Science 433(2012), P43-59. 2012.4.
屈婉玲，刘田，张立昂，王捍贫，算法设计与分析，清华大学出版社，2011.
Zizhen Wang, Hanpin Wang, Yongzhi Cao, Wanling Qu, Wei Jin and Meixia Zhu, A Game Perspective of Refinement of Component Models, 2010 IEEE 34th Annual Computer Software and Applications Conference, (COMPSAC 2010), P437-442, 2010.
Chunxiang Xu, Wanling Qu, Yu Huang, Hanpin Wang，Xiaojuan Ban，A Petri Net-Based Method for RFID Event Detection. 2010 34th Annual IEEE Computer Software and Application Conference (COMPSAC 2010), P367-372.
Chunxiang Xu, Hanpin Wang, Wanling Qu, Shan Li, Jiaqi Zhu: ANew Method to Model the WS-BPEL Process Under the Dead-Path-Elimination Semantics. In Proceeding of the Third International Conference on 3rd IEEE International Conference on Secure Software Integration Reliability Improvement (SSIRI2009), P203-211.
出版论著
耿素云，屈婉玲，张立昂，离散数学（第五版），清华大学出版社，2013.
耿素云，屈婉玲，张立昂，离散数学题解（第五版），清华大学出版社，2013.
屈婉玲，王捍贫，段莉华，面向软件工程学科的算法课程建设，中国大学教学(中文社会科学索引来源期刊，CSSCI)，2012.12. P39. |
