王振宇，男，1936年8月生，1956年畢業于武漢大學數學系，博士生導師。中科院軟件研究所研究員，IEEE計算機學會會員、ACM SIGADA會員，中國計算機學會軟件分會委員，曾擔任多屆中船總和第七研究院學位評定委員會委員。
個人簡介
從事科研工作40余年，早年進行函數論的研究。1970以來探索計算機科學和軟件及計算機應用技術領域的研究，主攻方向是共性軟件技術、Ada語言、軟件工程、軟件開發工具和環境、應用系統集成、算法復雜性分析及有關數學工具、軟件復雜性度量。多次承擔并完成了國防科技重點研究項目和國家自然科學基金項目，獲得部級科技進步獎9項。
獲獎
近年來主要獲獎項目有：Ada同SQL的接口系統、軟件快速原型技術、Ada語言、工具與環境均獲中船總科技進步三等獎。
著作
主要著述有《樹的枚舉與算法復雜性分析》、《程序復雜性度量》、《Ada軟件開發技術》、《Ada語言與程序設計》、《C語言接口技巧與實例》等。并在《中國科學》、《科學通報》、《數學學報》、《計算機學報》等學術刊物和國內外學術會議上公開發表論文150多篇。近期發表的論文有：“遞歸樹的若干枚舉特征”、“關于軟件標本重用技術的研究”、“ Automatically Generating Ada95 Codes for Concurrent Objects”、 “Ada Concurrent Complexity Metrics based on Rendezvous Relations”、 “軟件體系結構在指揮控制系統中的應用”、“程序樹的快速定位法”、“基于CORBA的智能建筑管理系統IBMS的設計與實現”、“On Optimization of Ada Software 設計 Icons”、“為Ada95引入A對象”、“Remolding Diversified Objects in Ada95: Toward A-Object Pattern”、“Event-based Implicit Invocation Decentralized in Ada”。目前正在承擔國家自然科學基金、國防課題等項目。自1979年開始培養碩士研究生，目前已畢業研究生30余人，1996年開始招收博士研究生。
參考資料 >