北京大学软件与微电子学院博士生导师简介:屈婉玲

2015-09-25 15:32:52来源:网络

  考博考生生准备要参加博士研究生考试时,必须要先确定准备攻读博士的相关专业,然后选择该专业有招生需求的学校,接下来应该联系博士生导师,只有当博士生导师同意考生报考,考博生才可以报考。所以提前了解博士生导师的学术文章及联系方式很重要,新东方在线特整理了各招收博士院校博导的简介及联系方式供考博生参考。

  

\

  屈婉玲

  教授 博士生导师

  软件技术与服务工程领域

  个人简介

  多年主讲北京大学信息科学技术学院本科生离散数学课程(代数结构与组合数学),系国家级精品课离散数学课程主持人。多年主讲算法分析与复杂性理论、算法分析与设计等研究生必修课。主持过多项教改课题,出版过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.

  社会服务

  中国人工智能学会离散数学专委会委员


关注新东方在线服务号

回复【考博真题】领取备考必看真题集

更多资料
更多>>
更多内容
更多>>
更多好课>>
更多>>
更多资料