馮玉琳

馮玉琳,江蘇省姜堰市人,中科院軟體研究所研究員,新中國首批工學博士。

馮玉琳,江蘇省姜堰市人,中科院軟體研究所研究員,新中國首批工學博士。
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年

相關詞條

熱門詞條

聯絡我們