教授、博士生导师，教学与科研工作主要涉及软件工程、可信软件、形式化方法，部分研究工作获2011年国家科技进步二等奖，2004年获得国家杰出青年科学基金资助；兼任中国计算机学会软件工程专业委员会主任、国务院学位委员会学科评议组成员（软件工程）；曾任必威betway西汉姆联网站计算机科学与技术系系主任（2006-2018）、软件学院院长（2008-2022），国家自然科学基金委员会信息科学部专家咨询委员会委员（2014-2019），中国计算机学会系统软件专业委员会主任（2015-2019），江苏省计算机学会理事长（2010-2019），ACM SIGSoft China主席（2017-2019）。

详情见个人主页。