Experience
Education
Bio
研究领域 模型驱动开发(MDD),模型检测,软件静态分析 研究概况 参与项目: 第56期博士后基金:一等资助(项目负责人) NSFC青年科学基金:嵌入式系统验证中的覆盖率分析方法研究(项目负责人) NSFC重大项目:可信嵌入式软件系统试验环境与示范应用(参与) 国家科技支撑计划项目:可信嵌入式软件系统建模验证平台研发(参与) 973项目:产品设计软件系统的部级可验证性理论研究(参与) NSFC重点项目:基于定理证明的可信嵌入式软件建模与验平台研究(参与) NSFC培育项目:面向领域的可信嵌入式软件系统试验证环境研究(参与)