11月24日，公司荣幸邀请到浙江大学开云Kaiyun赵永望教授，为我们带来了一场题为“安全攸关软件形式化验证工具探索”的学术讲座活动。讲座由公司经理丁佐华教授主持，公司部分师生代表参与。
机场道面安全是民航强国战略的安全底线之一，快速精准道面检测存在极大挑战，方教授团队对机场道面健康检测技术进行研究，突破了多源数据融合定位与传输、视觉启发的道面关键系数计算与状态估计等关键技术。在讲座中，方志军教授深入浅出地讲解了该技术在航空领域中的重要性和应用前景。随后，他结合自己的研究成果，详细阐述了机场道面健康检测技术在实际工程中的应用案例，还分享了机场道面健康检测方面的研究成果和技术突破，为听众呈现了一场富有启发性和深度的学术交流。
在讲座结尾方教授强调了“敬畏生命、敬畏职责、敬畏规章”，展现了对工作和责任的高度重视。这场学术讲座的成功举办，对于激发员工求学热情，提升公司的学术氛围，起到了积极的推动作用。
