馮玉琳

82-85年在美國Stanford大學和Carnegie Mellon大學從事計算機的數學理論和時序邏輯的研究，並將時序邏輯應用到VLSI電路設計和模型驗證。

89-90年在德國Bremen大學參加歐洲ESPRIT計劃項目。在計算機軟體理論和設計方法學的研究中，成績顯著。

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

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

90年代主要致力於組合軟體理論及網路分佈計算理論和方法學的研究。先後主持國家自然科學基金重點項目，國家863重點項目，國家九五重點攻關項目多項，其中“網路分佈軟體支撐平台及石化應用示範工程”

獲2001年中科院科技進步獎一等獎和2002年國家科技進步獎二等獎。

中國科學院軟體研究所研究員

職稱：首席研究員

性別：男

主要研究方向及簡介

面向對象技術和系統

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

分散式網路計算體系結構和系統

交互計算的形式語義理論

系統形式規範和模型驗證

工作經歷

1986-1992年，在中國科技技術大學任教授，博士生導師。

1992年調任中國科學院軟體研究所，曾任中科院軟體研究所所長，中科院軟體所對象技術中心主任研究員。

社會兼職

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

研究成果與獲獎情況

在計算機軟體理論和設計方法學的研究中，成績顯著，曾獲得部（省）級優秀論文獎、優秀教學獎和科技進步獎。1991年被國家教委和國務院學位委員會授予“做出突出貢獻的中國博士學位獲得者”。

從90年代開始，在國內開展組合式軟體體系結構和軟體工程的研究，先後主持或聯合主持國家自然科學基金重點項目“軟體生產自動化中的新理論和”，“組合軟體理論和方法學研究”；國家863高技術重點項目“若干網路的軟體支撐平台和集成框架”；國家九五科技重點攻關項目“石化應用軟體典型示範工程及產品開發”；一級有關電子商務基礎系統設施的項目等，研究成果受到國內外同行的廣泛重視。

代表論著

馮玉琳研究員在軟體理論、軟體工程技術和方法學方面，已在國際國內學術雜誌和會議上發表研究論文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年