个人简介

科研项目与人才计划： 1. 2014年入选上海市青年科技英才扬帆计划。 2. 国家自然科学基金青年基金项目“嵌入式控制软件的形式化规格说明构建的工程方法” 3. 华东师范大学-卡斯柯信号有限公司“基于半形式化需求的测试用例的自动生成与结果分析” 4. 华东师范大学-卡斯柯信号有限公司“列车车载控制软件建模与分析方法及支撑工具研究”