王振宇

王振宇，男，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 Design Icons”、“為Ada95引入A對象”、“Remolding Diversified Objects in Ada95: Toward A-Object Pattern”、“Event-based Implicit Invocation Decentralized in Ada”。目前正在承擔國家自然科學基金、國防課題等項目。自1979年開始培養碩士研究生，目前已畢業研究生30餘人，1996年開始招收博士研究生。