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