繆煒愷

繆煒愷，男，華東師範大學軟體工程學院教師。

基本介紹

• 中文名：繆煒愷
• 職業：教師
• 專業方向：軟體形式化工程方法，軟體需求建模與分析，軟體測試
• 任職院校：華東師範大學軟體工程學院

研究方向

軟體形式化工程方法，軟體需求建模與分析，軟體測試。

學術成果

1. 2014年入選上海市青年科技英才揚帆計畫。

2. 國家自然科學基金青年基金項目“嵌入式控制軟體的形式化規格說明構建的工程方法”

3. 華東師範大學-卡斯柯信號有限公司“基於半形式化需求的測試用例的自動生成與結果分析”

4. 華東師範大學-卡斯柯信號有限公司“列車車載控制軟體建模與分析方法及支撐工具研究”