赛宝动态

9月9日，我所软件中心、华东分所团队来到上海，与华东师范大学计算机学院何积丰院士团队就嵌入式软件功能安全领域开展了学术交流活动。

在交流过程中，何院士亲自带领来访人员参观了其主持的国家可信嵌入式软件工程中心，并全程参与了研讨会。双方就软件形式化验证技术、软件正确性证明技术、软件自动化测试技术、嵌入式软件安全性检测技术等共同关注的学术和技术问题进行了广泛深入的交流和探讨。何院士对我所开展的嵌入式软件功能安全相关研究工作和取得的成果给予了充分肯定，并希望结合双方优势，开展更进一步的合作。

此次交流活动增进了双方的相互认识和了解，为下一步开展更深入的合作打下了基础。

部信软司陈英副司长与我所王勇副所长共同策划，促成了本次学术交流活动。陈英副司长全程参与了学术交流活动，并给双方进一步的合作指明了方向。