陈圣波讲师（CHENSHENGBO）
博士

主要研究领域：软件工程、软件形式化方法、软件建模、测试与验证。2004年在上海大学获得硕士学位，2008年在上海大学获得计算机应用技术博士学位，同年留校任教。
2004年以来参加了两项国家自然科学基金以及国家重大基础研究（973）项目和上海市教育委员会一般项目各一项，作为主要成员参加了国家高技术研究发展计划（863计划）：基于模型的Web应用测试技术和工具的研究。作为项目负责人参加国家自然科学基金“可信网络软件的形式验证”、上海市计算机软件评测重点实验室开放课题、上海市教委创新基金、上海大学青年基金各一项。
在JournalofCommunicationandComputer、计算机科学、IEEE主办的计算机国际会议等发表中英文学术论文20多篇。