1958年，毕业于北京大学数学力学系。
1967年，从中国科学院计算技术研究所研究生毕业。
1985年，被聘为中国科学院计算技术研究所博士生导师。
1986年，担任中国科学院软件研究所研究员。
1992年 - 1997年，兼任联合国大学国际软件技术研究所首席研究员。
1997年 - 2002年，兼任联合国大学国际软件技术研究所所长。
20世纪80年代，主要从事分布式系统的研究。
20世纪80年代，与英国同事合作提出分布式计算系统正确性的组合式验证方法。
20世纪90年代，从事实时系统研究。
1988年10月，荣获“国家级有突出贡献的中青年专家”称号。
1993年，当选中国科学院院士。
2000年，当选为第三世界科学院院士。
2019年01月，荣获“中国计算机学会终身成就奖”。
