教授、博士生導師，教學與科研工作主要涉及軟件工程、可信軟件、形式化方法，部分研究工作獲2011年國家科技進步二等獎，2004年獲得國家傑出青年科學基金資助；兼任中國計算機學會軟件工程專業委員會主任、國務院學位委員會學科評議組成員（軟件工程）；曾任bat365在线平台官方网站計算機科學與技術系系主任（2006-2018）、bat365在线平台官方网站院長（2008-2022），國家自然科學基金委員會信息科學部專家咨詢委員會委員（2014-2019），中國計算機學會系統軟件專業委員會主任（2015-2019），江蘇省計算機學會理事長（2010-2019），ACM SIGSoft China主席（2017-2019）。

詳情見個人主頁。