时 间：11月10日（星期二）下午3:00
地 点：腾讯会议
会议ID：483808287
会议密码：312312
主讲人介绍：
孙军，新加坡管理大学的副教授。于2002年和2006年获得新加坡国立大学计算机科学学士学位和博士学位。于2007年，获得了享有盛名的LEE KUAN YEW博士后奖学金。研究方向包括软件工程，形式方法，程序分析和网络安全。
报告摘要：
目前为止，我们知道神经网络比传统软件系统更易碎，而且更容易受到攻击。 问题是：如果像自动驾驶汽车这样的至关重要的系统，我们如何确保神经网络不会导致违反安全性？ 一种想法是根据给定的安全要求自动修复给定的神经网络。 在本次演讲中，我将介绍我们在开发基于验证的神经网络修复技术方面正在进行的工作。