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