冯玉琳

冯玉琳，江苏省姜堰市人，1942年出生。他是新中国首批工学博士，现任中科院软件所软件工程技术研究中心首席研究员。冯玉琳曾担任中国科学院研究生院兼职教授、《软件学报》主编、国际IFIP TC1中国代表、中国软件行业协会副会长、中国计算机学会常务理事等职务。他主持多项国家自然科学基金重点项目、国家863高技术重点项目以及国家重点科技攻关项目，并在国际国内学术杂志和会议上发表研究论文90余篇，出版学术著作5部。在1982年至1985年期间，冯玉琳曾在美国Stanford大学和Carnegie Mellon大学从事计算机的数学理论和时序逻辑的研究，并将时序逻辑应用到VLSI电路设计和模型验证。

1967年武汉大学数学系研究生毕业，1982年在中国科学院获工学博士学位。

1983年-1985年在美国斯坦福大学和卡内基梅隆大学做博士后研究工作。从事计算机的数学理论和时序逻辑的研究，并将时序逻辑应用到VLSI电路设计和模型验证。

1986年-1992年，在中国科技技术大学任教授，博士生导师。

1989年-1990年作为客座教授在德国Bremen大学参加欧洲ESPRIT计划项目。1991年被国家教委和国务院学位委员会授予“做出突出贡献的中国博士学位获得者”称号。

1992年调任中国科学院软件研究所，1994年-2002年先后任副所长、所长。

2000年作为软件程序委员会的共同主席，在北京成功举办第23届世界计算机大会。

冯玉琳在计算机软件理论和设计方法学的研究中成绩显著，曾获得部（省）级优秀论文奖、优秀教学奖和科技进步奖、中国科学院科技进步奖一等奖、中国石油化工集团科技进步奖一等奖以及国家科技进步奖二等奖。

面向对象技术和系统

组合式软件工程和软件重用

分布式网络计算体系结构和系统

交互计算的形式语义理论

系统形式规范和模型验证

中国科技大学研究生院兼职教授，《软件学报》主编，国际IFIP TCI（理论）中国代表，中国软件行业协会副理事长，中国计算机学会常务理事。

黄涛，冯玉琳，李京，《对象模型语义研究 软件学报》Vol.6, Supplement, 1995；

冯玉琳，黄涛，李京，《面向对象的软件构造 软件学报》Vol.7,No.3,1996；

冯玉琳，黄涛，武小鹏，《面向对象的组合软件工程研究 计算机学报》Vol.19,No.3,1996；

倪彬，冯玉琳，黄涛，《基于T3BDD的动态模型检查，软件学报》Vol.10, No.10, 1999。

《程序设计方法学》，北京科技出版社，1985年；

《软件工程——方法、工具和实现》，中国科技大学出版社，1988年；

《对象技术导论》，科学出版社，1998年。