南京大学软件学院副院长，教授，博士生导师。主要研究领域是软件工程与形式化方法，包括模型检验技术，实时混成系统，信息物理融合系统等方向。2010年在南京大学获取计算机博士学位。曾在CMU、MSRA、UTD等科研机构进行访学与合作研究。相关工作发表于领域重要期刊与会议如TCAD、TC、TDSC、TCPS、TPDS、RTSS、HSCC等。入选国家级青年人才项目，教育部教指委高校计算机专业优秀教师奖励计划，中国计算机学会青年人才发展计划，微软亚洲研究院铸星计划，获NASAC青年软件创新奖等。兼任中国计算机学会系统软件专业委员会秘书长，江苏省计算机学会计算机软件专业委员会秘书长等职务。

详情见个人主页。