News
发布时间：2019-11-02 作者：上海工业控制安全创新科技有限公司 点击次数：次
10月29日，美国科学院、欧洲科学院院士、美国莱斯大学教授Moshe Y. Vardi来访上海控安，对平台公司的工具链产品研发进行指导。Vardi教授就计算机软件的源代码单元测试、软件质量度量方法、网络安全监测和控制技术、以及软件工具产品的应用前景和平台运营的模式等问题与控安展开讨论。
Vardi教授高度赞赏了控安自主研发的工业嵌入式系统单元测试工具SmartRocket Unit产品。他认为，该工具性能和用户体验度已能够和国际顶尖同类产品比肩；同时指出，理论上测试工作无法保证软件系统的漏洞可被完全检测，而程序验证是解决这一问题更有潜力的技术。他希望平台公司能借鉴当前美国产业界成熟的软件验证产品研发和推广经验，以此指导推进我国自主验证产品的研发。
上海控安的研发团队也充分认同形式化验证技术的重要性，并围绕工业控制安全系统的技术创新和产业变革，向教授介绍了平台公司在下一代“卡脖子”技术上的布局和展望，以及多年来在航空航天、轨道交通及工业控制领域的研发和产业化应用成果。Vardi教授表示，未来将持续关注平台公司验证工具核心技术的研发，并为此提出专业的指导意见。罗马第一大学教授、ACM会士Giuseppe De Giacomo陪同访问。
Moshe Y. Vardi 教授
美国国家工程院院士、美国国家科学院院士、ACM会士，同时还是美国科学促进会、美国人工智能协会成员、IEEE计算机学会成员；曾两次荣获ACM总裁奖，并荣获ACM 杰出贡献奖、哥德尔奖、ACM SIGMOD CODD创新奖、帕里斯·肯尼莱克斯理论与实践奖。研究聚焦自动化推理及人工智能，包括数据库理论、计算复杂性理论、多智能体系统中的知识、计算机辅助检测、跨课程教学逻辑等。
Giuseppe De Giacomo 教授
罗马第一大学计算机科学与工程系教授、ACM会士、美国人工智能协会成员、欧洲人工智能学会成员。聚焦人工智能，包括知识表示与自动推理，曾参与多个人工智能与计算机科学领域的课题，并将担任2020年人工智能顶会会议主席。
美国科学院、欧洲科学院院士Moshe Y. Vardi教授（左三）、罗马第一大学教授、ACM会士Giuseppe De Giacomo（左二）
