智库专家

您的位置：首页 > 智库专家 > 国家智库专家

所属机构

中国科学院学部

个人简历

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

研究领域

并发程序语言的结构操作语义方法、翻译理论和实现技术研究

教育背景

1966年毕业于北京大学数学力学系，1983年获英国爱丁堡大学计算机科学博士学位

学术兼职

研究成果