博士、副教授、硕士生导师。
1972年生，1998年4月于东南大学计算机科学与工程系获硕士学位并留校任教。2011年3月于东南大学计算机科学与工程学院在职获得博士学位。
目前的主要研究领域为程序自动生成和可信软件开发方法，主要研究方向为反应式系统自动生成、程序测试与验证、自然语言处理及其在需求工程中的应用。同时也进行程序分析、知识图谱、社交网络分析等方面的研究。
曾参加过多项国家和省自然科学基金项目、部委重点预先研究项目、江苏省科技攻关项目以及与Intel、南瑞等国内外大型IT企业的合作项目。曾在国内外学术杂志和会议上发表论文30余篇，7次获得省部级科技进步奖和教育部提名国家科学技术奖。
曾承担“程序设计语言原理”、“并发程序设计”等研究生课程和“编译原理”、“软件体系结构”、“组合数学”等本科生课程的教学工作。
