1972年12月(yue),擔任八一(yi)磷肥廠工(gong)人。
1975年,八一磷肥廠(chang)開(kai)辦(ban) “七(qi)二一”工(gong)人大學,負責(ze)教數學。
1978年02月 - 1982年02月,就讀于(yu)福州大學計算機系,并獲(huo)得計算機軟件專業學士學位。
1982年02月(yue) - 1986年06月(yue),就讀于中國科學(xue)院(yuan)軟(ruan)件研究所,并獲得計算(suan)機科學(xue)理論(lun)專業博士學(xue)位。
1986年06月,留(liu)在中國科學院軟(ruan)件研(yan)(yan)究(jiu)(jiu)所(suo)工作(zuo),歷任助理研(yan)(yan)究(jiu)(jiu)員、副研(yan)(yan)究(jiu)(jiu)員、研(yan)(yan)究(jiu)(jiu)員、博士生導師。
1986年(nian)09月(yue) - 1987年(nian)12月(yue),在英國愛丁(ding)堡大學(xue)計算機(ji)科學(xue)基礎實(shi)驗室從事(shi)博士(shi)后研究。
1990年04月 - 1993年03月,擔任英國薩塞(sai)克斯大學(University of Sussex)研究院(yuan)。
1999年11月,當選為(wei)中國(guo)科學院(yuan)院(yuan)士。同年,擔任中國(guo)科學院(yuan)軟件所計算機科學國(guo)家重點實驗室主任。
2008年,當(dang)選為第一屆中國計算(suan)機學會會士。
1996年,榮獲“中國科學院自然科學獎(jiang)一等獎(jiang)”。
1999年,榮獲“國家(jia)級(ji)有突出(chu)貢獻的中青年專(zhuan)家(jia)”稱號(hao)、“國家(jia)自然科學(xue)獎二等獎”。
1999年11月,當(dang)選為中國(guo)科學院院士。