(左右滑动查看更多)
PART.03
互动交流 思维碰撞
在轻松愉快的茶话会讨论环节,新加坡理工大学师生与望安科技领导及工作人员进行了深入而友好的交流,双方就“形式化验证”领域及未来的合作共赢路径展开了沟通交流,通过思想的碰撞激发彼此新的灵感和思考。
PART.04
赠送礼物 传递情谊
在访问活动圆满落幕之际,新加坡理工大学David Sanan教授代表访问团队为望安科技赠上意义深刻的纪念品,不仅传递了深厚的友谊与尊重,更象征着未来合作的美好愿景与期待。本次研讨会也进一步加深了望安科技与新加坡理工大学的合作纽带。展望未来,双方将继续携手合作,探索更多校企合作的新模式、新路径。相信在双方的共同努力下,望安科技与新加坡理工大学定能凝聚共识、连心架桥,共同迈向国际合作与交流的新台阶。
滑动查看更多精彩图片
<<< END >>>
浙江望安科技有限公司
浙江望安科技有限公司是以“形式化验证”和“安全认证”为核心的安全服务及产品提供商。公司致力于为国家重大项目、关键系统及行业企业提供安全保障。业务覆盖航空航天、国防、轨道交通、区块链、物联网、工业控制、芯片设计、操作系统、数据库等重大行业。
公司提供信息技术安全评估标准CC EAL1-EAL7级安全保障级别、IEC 61508、ISO 26262、GM/T国密以及FIPS等高等级安全认证咨询与技术服务,已与国内外多个认证/检测机构建立联合实验室、签署合作协议等。公司拥有自主知识产权的软件源码形式化测试与验证工具W-AVC、基础软硬件形式化建模与验证工具W-Cert、CC安全认证全周期实施平台W-CaaS等工具平台。公司核心技术和工具已应用于载人航天工程、中航工业集团、航天科技集团、航天科工集团、中国信科、小米科技、中国移动、中科海微、元心科技等,覆盖国家重点行业及企业。
联系我们
公司官网: www.wonsec.com
联系方式: 400-675-8118
公司邮箱: wangan@wonsec.com
咨询热线:18358509111 运营中心:400-675-8118
E-mail:wangan@wonsec.com 邮政编码:312000
地址:浙江省绍兴市柯桥区齐贤街道柯桥经济技术开发区西环路586号科创大厦A座507-508
版权所有 Copyright ©2019-2020 浙江望安科技有限公司 网络备案号:浙ICP备19042838号-1