馮玉琳

1967年武漢大學數學系研究生畢業，1982年在中國科學院獲工學博士學位。

1983-1985年在美國斯坦福大學和卡內基梅隆大學做博士後研究工作。從事計算機的數學理論和時序邏輯的研究，並將時序邏輯應用到VLSI電路設計和模型驗證。

1988年在中國科學技術大學任教授，1989年被國務院學位委員會批准為博士生導師。

1989-1990年作為客座教授在德國Bremen大學參加歐洲ESPRIT計劃項目。在計算機軟件理論和設計方法學的研究中，成績顯著。

1991年被國家教委和國務院學位委員會授予“做出突出貢獻的中國博士學位獲得者”稱號。

1992年調任中國科學院軟件研究所，1994-2002年先後任副所長、所長。

2000年作為軟件程序委員會的共同主席，在北京成功舉辦第23屆世界計算機大會。 ^[1] 

面向對象技術和系統

組合式軟件工程和軟件重用

分佈式網絡計算體系結構和系統

交互計算的形式語義理論

系統形式規範和模型驗證

中國科技大學研究生院兼職教授，《軟件學報》主編，國際IFIP TCI（理論）中國代表，中國軟件行業協會副理事長，中國計算機學會常務理事。

1984年與美國卡內基梅隆大學教授E.Clarke合作，將函數遞歸應用於VLSI設計，解決特殊電路結構的自動布圖問題。

馮玉琳在我國最早倡導和發展中間件和組合式軟件工程。九十年代初就已開展面向對象的新型軟件系統結構的研究。1996年發表研究論文《面向對象的軟件構造》，1997年發起和組織在歐洲Dagstuhl召開的“面向對象的軟件開發”國際研討會。他的主題報告“面向對象的組合式軟件工程”，引起會議廣泛關注。馮玉琳的研究工作在對象模型、網絡分佈計算和軟件工程方面取得一系列重要研究成果，為推動軟件科技進步和軟件產業發展起到促進作用。馮玉琳直接領導並負責研製的網絡分佈軟件支撐平台，被國家科技部、國家財政部、國家計委和國家經貿委評為“九五”國家重點科技攻關計劃優秀科技成果，並分別獲得中國科學院科技進步獎一等獎、中國石油化工集團科技進步獎一等獎以及國家科技進步獎二等獎。

馮玉琳研究員在軟件理論、軟件工程技術和方法學方面，已在國際國內學術雜誌和會議上發表研究論文70餘篇。

發表的部分論文

黃濤，馮玉琳，李京，對象模型語義研究 軟件學報，Vol.6, Supplement, 1995

馮玉琳，黃濤，李京，面向對象的軟件構造 軟件學報，Vol.7,No.3,1996

馮玉琳，黃濤，武小鵬，面向對象的組合軟件工程研究 計算機學報，Vol.19,No.3,1996

倪彬，馮玉琳，黃濤，基於T3BDD的動態模型檢查，軟件學報，Vol.10, No.10, 1999

發表著作《程序設計方法學》（1985），《軟件工程——方法、工具和實踐》（1988）和《對象技術導論》（1998）等共5部

1.《程序設計方法學》，北京科技出版社，1985年

2.《軟件工程——方法、工具和實現》，中國科技大學出版社，1988年

3.《對象技術導論》，科學出版社，1998年