中国大数据专家委员会顾问，中国科学院院士，计算机专家。1966年毕业于北京大学数学力学系。1983年获英国爱丁堡大学计算机科学博士学位。北京航空航天大学计算机系教授，软件开发环境国家重点实验室主任。1997年当选为中国科学院院士。从事并发程序语言的结构操作语义方法、翻译理论和实现技术研究。解决了实用并发语言的复杂语法结构的语义问题，在建立并发语言的翻译和比较研究理论方面取得了开创性研究成果。1991年提出了用版本序列的收敛性描述软件开发过程和知识库维护策略的理论和方法，开辟了用近似和逼近方法研究软件开发和知识库维护的方向。对在我国开展推理计算机、可扩展计算机群及其软件工具和环境的设计与实现等方面也做出了贡献。
