馮玉琳，江蘇省姜堰區(qū)人，1942年出生。他是新中國(guó)首批工學(xué)博士，現(xiàn)任中科院軟件所軟件工程技術(shù)研究中心首席研究員。馮玉琳曾擔(dān)任中國(guó)科學(xué)院大學(xué)兼職教授、《軟件學(xué)報(bào)》主編、國(guó)際IFIP TC1中國(guó)代表、中國(guó)軟件行業(yè)協(xié)會(huì)副會(huì)長(zhǎng)、中國(guó)計(jì)算機(jī)學(xué)會(huì)常務(wù)理事等職務(wù)。他主持多項(xiàng)國(guó)家自然科學(xué)基金重點(diǎn)項(xiàng)目、國(guó)家863高技術(shù)重點(diǎn)項(xiàng)目以及國(guó)家重點(diǎn)科技攻關(guān)項(xiàng)目，并在國(guó)際國(guó)內(nèi)學(xué)術(shù)雜志和會(huì)議上發(fā)表研究論文90余篇，出版學(xué)術(shù)著作5部。在1982年至1985年期間，馮玉琳曾在美國(guó)Stanford大學(xué)和Carnegie Mellon大學(xué)從事計(jì)算機(jī)的數(shù)學(xué)理論和時(shí)序邏輯的研究，并將時(shí)序邏輯應(yīng)用到VLSI電路設(shè)計(jì)和模型驗(yàn)證。
人物經(jīng)歷
1967年武漢大學(xué)數(shù)學(xué)系研究生畢業(yè)，1982年在中國(guó)科學(xué)院獲工學(xué)博士學(xué)位。
1983年-1985年在美國(guó)斯坦福大學(xué)和卡耐基·梅隆大學(xué)做博士后研究工作。從事計(jì)算機(jī)的數(shù)學(xué)理論和時(shí)序邏輯的研究，并將時(shí)序邏輯應(yīng)用到VLSI電路設(shè)計(jì)和模型驗(yàn)證。
1986年-1992年，在中國(guó)科技技術(shù)大學(xué)任教授，博士生導(dǎo)師。
1989年-1990年作為客座教授在德國(guó)Bremen大學(xué)參加歐洲ESPRIT計(jì)劃項(xiàng)目。1991年被國(guó)家教委和國(guó)務(wù)院學(xué)位委員會(huì)授予“做出突出貢獻(xiàn)的中國(guó)博士學(xué)位獲得者”稱號(hào)。
1992年調(diào)任中國(guó)科學(xué)院軟件研究所，1994年-2002年先后任副所長(zhǎng)、所長(zhǎng)。
2000年作為軟件委員會(huì)的共同主席，在北京成功舉辦第23屆世界計(jì)算機(jī)大會(huì)。
獲得榮譽(yù)
馮玉琳在計(jì)算機(jī)軟件理論和設(shè)計(jì)方法學(xué)的研究中成績(jī)顯著，曾獲得部（省）級(jí)優(yōu)秀論文獎(jiǎng)、優(yōu)秀教學(xué)獎(jiǎng)和科技進(jìn)步獎(jiǎng)、中國(guó)科學(xué)院科技進(jìn)步獎(jiǎng)一等獎(jiǎng)、中國(guó)石油化工集團(tuán)科技進(jìn)步獎(jiǎng)一等獎(jiǎng)以及國(guó)家科學(xué)技術(shù)進(jìn)步獎(jiǎng)二等獎(jiǎng)。
研究方向
面向?qū)ο蠹夹g(shù)和系統(tǒng)
組合式軟件工程和軟件重用
分布式網(wǎng)絡(luò)計(jì)算體系結(jié)構(gòu)和系統(tǒng)
交互計(jì)算的形式語(yǔ)義理論
系統(tǒng)形式規(guī)范和模型驗(yàn)證
社會(huì)任職
中國(guó)科技大學(xué)研究生院兼職教授，《軟件學(xué)報(bào)》主編，國(guó)際IFIP TCI（理論）中國(guó)代表，中國(guó)軟件行業(yè)協(xié)會(huì)副理事長(zhǎng)，中國(guó)計(jì)算機(jī)學(xué)會(huì)常務(wù)理事。
主要論著
代表論文
黃濤，馮玉琳，李京，《對(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。
代表著作
《程序設(shè)計(jì)方法學(xué)》，北京科學(xué)技術(shù)出版社有限公司，1985年；
《軟件工程——方法、工具和實(shí)現(xiàn)》，中國(guó)科技大學(xué)出版社，1988年；
《對(duì)象技術(shù)導(dǎo)論》，科學(xué)出版社，1998年。
參考資料 >