馮玉琳

馮玉琳，研究員，1942年出生，江蘇姜堰人。新中國首批工學博士。

現任中科院軟體所軟體工程技術研究中心首席研究員；曾任中國科學院研究生院兼職教授、《軟體學報》主編、國際IFIP TC1中國代表、中國軟體行業協會副會長、中國計算機學會常務理事。

他先後主持多項國家自然科學基金重點項目、國家863高技術重點項目以及國家重點科技攻關項目，在國際國內學術雜誌和會議上發表研究論文90餘篇，學術著作5部。

基本介紹

• 中文名：馮玉琳
• 國籍：中國
• 民族：漢族
• 出生地：江蘇姜堰
• 出生日期：1942年
• 職業：教授
• 畢業院校：武漢大學

學習經歷

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

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

工作經歷

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

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

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

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

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

研究方向

面向對象技術和系統

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

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

互動計算的形式語義理論

系統形式規範和模型驗證

社會兼職

中國科技大學研究生院兼職教授，《軟體學報》主編，國際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年