计算机专家，主要从事并发程序语言的结构操作语义方法、翻译理论和实现技术研究。1943年6月8日生于北京。1966年毕业于北京大学数学力学系，1983年获英国爱丁堡大学计算机科学博士学位。1997年当选为中国科学院院士。