职称

副教授

电子邮件

yhchen@shu.edu.cn

办公室

计817室

研究方向

主要研究领域为软件工程、软件测试和软件认证。

个人简介

陈怡海 ，男，中国计算机学会高级会员，上海大学计算机工程与科学学院副教授、硕士生导师。主持完成省部级项目2项，作为主要成员参加并完成国家自然科学基金项目2项。参加了获2002年度上海市科技进步奖的项目“软件规格说明语言支持工具Z User Studio”的研制；已发表论文三十多篇，出版学术专著一部，参编教材两部。

教育背景

2001/9 - 2007/6，上海大学计算机工程与科学学院，控制理论与控制工程，博士，导师：缪淮扣

1998/9 - 2001/3，上海大学计算机工程与科学学院，计算机应用，硕士，导师：缪淮扣

主要工作经历

2009/3 - 至今，上海大学，计算机工程与科学学院，副教授

2014/6-2015/5，上海市软件测评中心，产学研合作

2012/9- 2013/9，加拿大麦克马斯特大学，计算机与软件系，访问学者

1992/7 - 2009/2，上海大学，计算机工程与科学学院，助教/讲师

科研项目

1、 国家自然科学基金面上项目，92367103、80万元、融合深度学习和形式化验证的云制造网构软件构建和可靠性保障技术、2024.1-2026.12、参加

2、 国家自然科学基金面上项目、61170044、57万元、基于模型的测试用例优化生成与自动执行、2012/01-2015/12、结题、参加

3、 Southern Ontario Smart Computing Innovation Platform (SOSCIP) Consortium、12万加币、Certification of Safety and Security in Software Intensive Medical Devices, 2012/09-2014/08、结题、参加

4、 武汉大学国家软件重点实验室项目、SKLSE20080712、高可信WEB应用的验证方法研究、2009/01-2010/12、3万元、已结题、主持

5、 国家“八六三”高技术研究发展计划项目、2007AA01Z144、基于模型的Web应用测试技术和工具的研究、2007/07-2009/12、57万元，已结题、参加

6、 国家自然科学基金面上项目，60373072、面向对象规格说明的构造与形式化验证和确认、2004/01-2006/12、24万元、已结题、参加

7、 上海市高等学校科学技术发展基金项目，02AK07，基于Z规格说明的验证与确认方法和技术，2002/09-2004/09、4.3万元，已结题、主持

代表性论文或专著

1. WANG Y J, CHEN Y H, ALOMAIR D, et al. DISEL: a language for specifying DIS-based ontologies[C]//Proceedings of the 15th International Conference on Knowledge Science, Engineering, and Management. Cham: Springer, 2022:155-171. https://doi.org/10.1007/978-3-031-10986-7_13.

2. CHEN Y, Zhang B, Khedri R, et al. A Framework for Multi-view Reconciliation and for Medical Devices Personalization [C]//Duan Z, Ong L (eds.). Formal Methods and Software Engineering. Cham: Springer, 2017: 71-87. [C]//Conference Name. Place of Publication: Publisher, Year: Page range.

3. CHEN Y, LAWFORD M, WANG H, WASSYNG A. Insulin pump software certification[C]//GIBBONS J, MACCAULL W. FHIES 2013. Heidelberg: Springer, 2014, 8315: 87-106.

荣誉奖励

2025年度计算机学院优秀本科生导师