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