王振宇
王振宇，男，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年开始招收博士研究生。