软件工程学院

软件形式化工程方法，软件需求建模与分析，软件测试等

软件需求

科研项目与人才计划：

1. 2014年入选上海市青年科技英才扬帆计划。

2. 国家自然科学基金青年基金项目“嵌入式控制软件的形式化规格说明构建的工程方法”

3. 华东师范大学-卡斯柯信号有限公司“基于半形式化需求的测试用例的自动生成与结果分析”

4. 华东师范大学-卡斯柯信号有限公司“列车车载控制软件建模与分析方法及支撑工具研究”

教师个人主页