1958年,畢業(yè)于北京大學(xué)數(shù)學(xué)力學(xué)系。
1967年,從中國科學(xué)院計算技術(shù)研究所研究生畢業(yè)。
1985年,被聘為中國科學(xué)院計算技術(shù)研究所博士生導(dǎo)師。
1986年,擔(dān)任中國科學(xué)院軟件研究所研究員。
1992年 - 1997年,兼任聯(lián)合國大學(xué)國際軟件技術(shù)研究所首席研究員。
1997年 - 2002年,兼任聯(lián)合國大學(xué)國際軟件技術(shù)研究所所長。
20世紀(jì)80年代,主要從事分布式系統(tǒng)的研究。
20世紀(jì)80年代,與英國同事合作提出分布式計算系統(tǒng)正確性的組合式驗證方法。
20世紀(jì)90年代,從事實時系統(tǒng)研究。
1988年10月,榮獲“國家級有突出貢獻(xiàn)的中青年專家”稱號。
1993年,當(dāng)選中國科學(xué)院院士。
2000年,當(dāng)選為第三世界科學(xué)院院士。
2019年01月,榮獲“中國計算機(jī)學(xué)會終身成就獎”。