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