陈怡海副教授（CHENYIHAI）
Email:yhchen@staff.shu.edu.cn

中国计算机协会高级会员，上海市计算机学会学员，美国计算机协会会员。主要研究领域：形式方法，软件认证，软件可靠性，软件测试和质量保证等，2001年3月在上海大学获计算机应用硕士学位，2007年在上海大学获得控制理论与控制工程博士学位。目前正在加拿大麦克麦斯特大学软件认证中心进行软件认证、表格方法的合作研究。
2001年以来参加并完成了多项国家自然科学基金资助项目的研究工作，主持并完成上海市教委科学技术发展基金资助项目1项，作为主要人员，参加并完成国家自然科学基金资助研究项目（项目评价为优）；参加了获2002年度上海市科技进步奖的项目“软件规格说明语言支持工具ZUserStudio”的研制；在目前正在参加国家863研究项目“基于模型的Web应用测试方法”的研究工作。

在JournalofInformation&ComputationalScience,JournalofHarbinInstituteofTechnology(NewSeries),计算机应用与软件，计算机科学，上海大学学报等学术期刊，世界计算机大会，联合国际计算机会议等期刊和会议上发表中英文学术论文20多篇，出版学术专著一部。他担任过2012年IIAI/ACIS工业信息管理系统国际研讨会联合主席和多个国际会议和研讨会的本地主席和程序委员会委员，目前正在筹备首届国际安全攸关系统和医疗设备(SEASAME)软件工程国际研讨会。