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