中国科学院院士，华东师范大学终身教授、博士生导师，上海嵌入式系统研究所所长。 研究方向为形式化方法、高可信与信息安全、开发程序设计理论、嵌入式系统设计方法和工具、软硬件混成系统系统设计等。<br> 他在国际刊物和国际会议上发表论文140余篇，其论文先后被SCI摘引540次，其研究成果在国际计算机领域产生重要影响。曾被授予“国家级有突出贡献中青年专家”称号，先后获原国家教委“优秀科技成果”奖、电子工业部科技成果一等奖、其“设计严格安全软件的完备演算系统”先后获得上海市科学技术进步一等奖和国家自然科学二等奖。

中国工程院院士，总装备部科技委副主任，<br> 担任第一届技术委员会主任

教授，华东师范大学软件工程学院，担任中心主任