1982年(nian),畢業于南京大學計算(suan)機系,并(bing)于1988年(nian)獲得博士學位(wei)。
1993年(nian)至1994年(nian),在英國曼徹斯特大學計算(suan)機系作(zuo)為訪問學者。
2000年,被南京大學聘(pin)為特聘(pin)教授。
1995年,在聯合國大(da)學澳門國際軟件研究(jiu)所(suo)從事研究(jiu)工(gong)作。
2010年5月(yue)至2016年5月(yue),任南京大學(xue)副校(xiao)長。
2016年(nian)5月至2018年(nian)1月,任南京大(da)學常(chang)務副校長。
2018年1月至2018年3月,任(ren)南京大學(xue)校(xiao)長(副部長級(ji))。
2018年3月(yue)18日,當選為第十三屆全國人民代表大會常務委員會委員。
1990年,被(bei)授予“做(zuo)出(chu)突出(chu)貢獻的中(zhong)國博士學位獲得(de)者”稱號。
1993年(nian), 獲霍英東青年(nian)教師獎(研究類)。
1994年(nian),進入“國家教委跨(kua)世紀優秀(xiu)人才計劃”。
1995年(nian),獲“國(guo)家杰出青年(nian)科學基金(jin)”資助。
1996年,獲中國青年科技獎。
1997年(nian),進入國家“百千萬人(ren)才工程”(第一、二層次)。
1997年(nian),進入江蘇省“333”人才培養(yang)工程第二層(ceng)次,并于(yu)2002年(nian)轉(zhuan)入第一(yi)層(ceng)次。
1999年,獲中創(chuang)軟件人(ren)才(cai)獎(jiang)。
2001年(nian),獲(huo)國家科(ke)技(ji)部“863計劃十五(wu)周年(nian)”先進個人稱號(hao)。
2003年,教育部提名(ming)國家科(ke)學技術獎自(zi)然(ran)科(ke)學一等獎(第一完成人(ren))。
2006年, 獲“江蘇省(sheng)有突(tu)出(chu)貢(gong)獻中青年專家”稱號。
2007年(nian),被(bei)評為江蘇省“333人才培養工程”首(shou)批中青年(nian)首(shou)席科學家(jia)。