1958年,畢業于北京大學數(shu)學力學系。
1967年(nian),從中(zhong)國科學院計算技術研(yan)究(jiu)所研(yan)究(jiu)生畢業。
1985年,被聘為中國科學院(yuan)計算技術研(yan)究所博士(shi)生(sheng)導師。
1986年,擔(dan)任(ren)中國科學(xue)院軟(ruan)件(jian)研究所研究員。
1992年 - 1997年,兼(jian)任聯合國大學(xue)國際軟(ruan)件技術研(yan)究(jiu)(jiu)所(suo)首(shou)席研(yan)究(jiu)(jiu)員。
1997年(nian) - 2002年(nian),兼任聯合國(guo)大學國(guo)際(ji)軟件技(ji)術研究所所長。
20世紀80年(nian)代,主要從(cong)事(shi)分布式系統的研(yan)究。
20世紀80年代,與(yu)英(ying)國同事合(he)作提出分布(bu)式(shi)計算系統(tong)正(zheng)確性的組合(he)式(shi)驗(yan)證方法。
20世紀90年代(dai),從事實時系統研(yan)究。
1988年(nian)10月,榮獲“國家級有突出貢(gong)獻的(de)中青年(nian)專家”稱號。
1993年,當選中國科學院院士。
2000年,當選(xuan)為第三世界科學院院士(shi)。
2019年(nian)01月,榮(rong)獲“中國計算機學(xue)會終身成就(jiu)獎”。