冯玉琳
冯玉琳，江苏省姜堰区人，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年。