科研工作:

重点开展软件形式化验证理论与技术、业务流程驱动的企业应用软件框架、数据驱动和模型驱动的软件测试与验证方法的研究，并致力于相关软件工具的开发。 主持国家“十三五”基础科研重大项目子课题1项，省部级基金3项，其他基金类项目3项，科技攻关项目2项；参与863重点项目、“十二五”基础科研重点项目、科技部“十一五”国家科技支撑计划项目和国际科技合作专项项目等多项国家重点项目。在重要的期刊和国际会议上以第一作者发表论文十余篇。