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