共创机遇，合作共赢 | 望安科技与新加坡理工大学深化国际合作与交流

2024年8月19日，由新加坡理工大学国际合作部助理主任Joseph Ng Hong Sin、David Sanan教授、Wendy Hui教授和新加坡理工大学19名学生组成的访问团队莅临我司参观交流。此次访问不仅是新加坡理工大学与望安科技深化校企合作、共谋未来发展的重要契机，更是双方搭建国际交流平台、互鉴研讨与合作共赢的重大机遇。

望安科技和浙江人才大厦对新加坡理工大学的到访表示了高度重视和热烈欢迎，望安科技成员及人才大厦工作人员进行了热情接待。新加坡理工大学团队一行人首先在浙江人才大厦进行了参观，人才大厦工作人员深入讲解了人才大厦的发展历程、建设成果及人才入驻大厦的相关情况等。

在望安科技工作人员的陪同下，访问团队参观了公司的办公环境及文化墙等设施。在望安科技创始人赵永望和总经理陈建明的细致讲解下，考察团队深入了解了我司的发展历史、市场定位及综合实力等，对我司的专业水平和创新能力给予了高度评价，并对“形式化验证”领域表现出浓厚的兴趣。

在论坛开幕式上，望安科技创始人赵永望发表了热情洋溢的欢迎致辞。他在致辞中表示，期望通过此次校企的深入交流，能够进一步增进与新加坡理工大学的友好关系。他表示望安科技可以给学生们提供良好的发展平台，为学生们开拓更广阔的就业空间，助力他们实现更高层次的就业目标。

同时，新加坡理工大学教授兼望安科技特聘专家David Sanan也在开幕式上肯定了望安科技的创新能力及发展前景，他希望新加坡理工大学和望安科技能构建起沟通交流和互利共赢的国际化桥梁。

在研讨会演讲环节，望安科技创始人赵永望首先介绍了望安科技的基本情况，他指出望安科技是打造数字安全强基底座，引领高安全级技术的创新公司。公司致力于为国家重大项目、关键系统及行业企业提供安全保障。公司核心技术和工具已应用于载人航天工程、中航工业集团、航天科技集团、航天科工集团等重大领域及行业；

其次，望安科技形式化验证技术总监章乐平介绍了形式化方法技术和应用，他深入浅出地讲解了系统及安全缺陷、形式化方法概述和形式化方法应用三个部分的内容，引发了研讨会上热烈的讨论与交流；

最后，望安科技形式化验证工具产品经理章喆以2018年刑侦科推理试题为引，在引发大家深入思考和激烈讨论的同时也引出望安科技形式验证工具——W-AVC的介绍内容。章喆经理以生动有趣而专业的讲解让大家深刻认识到形式化验证是通往可靠知识的必经之路。

在轻松愉快的茶话会讨论环节，新加坡理工大学师生与望安科技领导及工作人员进行了深入而友好的交流，双方就“形式化验证”领域及未来的合作共赢路径展开了沟通交流，通过思想的碰撞激发彼此新的灵感和思考。

在访问活动圆满落幕之际，新加坡理工大学David Sanan教授代表访问团队为望安科技赠上意义深刻的纪念品，不仅传递了深厚的友谊与尊重，更象征着未来合作的美好愿景与期待。本次研讨会也进一步加深了望安科技与新加坡理工大学的合作纽带。展望未来，双方将继续携手合作，探索更多校企合作的新模式、新路径。相信在双方的共同努力下，望安科技与新加坡理工大学定能凝聚共识、连心架桥，共同迈向国际合作与交流的新台阶。