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