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