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