簡介
馮玉琳，江蘇省姜堰市人，中科院軟件研究所研究員，新中國首批工學博士。
82-85年在美國Stanford大學和Carnegie Mellon大學從事計算機的數(shù)學理論和時序邏輯的研究，并將時序邏輯應用到VLSI電路設計和模型驗證。
89-90年在德國Bremen大學參加歐洲ESPRIT計劃項目。在計算機軟件理論和設計方法學的研究中，成績顯著。
1991年被國家教委和國務院學位委員會授予“做出突出貢獻的中國博士學位獲得者”稱號。
1992年調(diào)任中國科學院軟件研究所，1994-2002年先后任副所長、所長。
90年代主要致力于組合軟件理論及網(wǎng)絡分布計算理論和方法學的研究。先后主持國家自然科學基金重點項目，國家863重點項目，國家九五重點攻關項目多項，其中“網(wǎng)絡分布軟件支撐平臺及石化應用示范工程”
獲2001年中科院科技進步獎一等獎和2002年國家科技進步獎二等獎。
中國科學院軟件研究所研究員
職稱： 首席研究員
性別： 男
主要研究方向及簡介
面向?qū)ο蠹夹g和系統(tǒng)
組合式軟件工程和軟件重用
分布式網(wǎng)絡計算體系結(jié)構(gòu)和系統(tǒng)
交互計算的形式語義理論
系統(tǒng)形式規(guī)范和模型驗證
工作經(jīng)歷
1986-1992年，在中國科技技術大學任教授，博士生導師。
1992年調(diào)任中國科學院軟件研究所，曾任中科院軟件研究所所長，中科院軟件所對象技術中心主任研究員。
社會兼職
中國科技大學研究生院兼職教授，《軟件學報》主編，國際IFIP TCI（理論）中國代表，中國軟件行業(yè)協(xié)會副理事長，中國計算機學會常務理事。
研究成果與獲獎情況
在計算機軟件理論和設計方法學的研究中，成績顯著，曾獲得部（省）級優(yōu)秀論文獎、優(yōu)秀教學獎和科技進步獎。1991年被國家教委和國務院學位委員會授予“做出突出貢獻的中國博士學位獲得者”。
從90年代開始，在國內(nèi)開展組合式軟件體系結(jié)構(gòu)和軟件工程的研究，先后主持或聯(lián)合主持國家自然科學基金重點項目“軟件生產(chǎn)自動化中的新理論和”，“組合軟件理論和方法學研究”；國家863高技術重點項目“若干網(wǎng)絡的軟件支撐平臺和集成框架”；國家九五科技重點攻關項目“石化應用軟件典型示范工程及產(chǎn)品開發(fā)”；一級有關電子商務基礎系統(tǒng)設施的項目等，研究成果受到國內(nèi)外同行的廣泛重視。
代表論著
馮玉琳研究員在軟件理論、軟件工程技術和方法學方面，已在國際國內(nèi)學術雜志和會議上發(fā)表研究論文70余篇。
發(fā)表的部分論文
黃濤，馮玉琳，李京，對象模型語義研究 軟件學報，Vol.6, Supplement, 1995
馮玉琳，黃濤，李京，面向?qū)ο蟮能浖䴓?gòu)造 軟件學報，Vol.7,No.3,1996
馮玉琳，黃濤，武小鵬，面向?qū)ο蟮慕M合軟件工程研究 計算機學報，Vol.19,No.3,1996
倪彬，馮玉琳，黃濤，基于T3BDD的動態(tài)模型檢查，軟件學報，Vol.10, No.10, 1999
發(fā)表著作《程序設計方法學》（1985），《軟件工程——方法、工具和實踐》（1988）和《對象技術導論》（1998）等共5部
代表著作
1.《程序設計方法學》，北京科技出版社，1985年
2.《軟件工程——方法、工具和實現(xiàn)》，中國科技大學出版社，1988年
3.《對象技術導論》，科學出版社，1998年
