活动预告|【学术科技节·名师讲堂】张民教授——深度神经网络的形式化验证及验证在环的安全深度强化学习训练

随着深度学习技术在安全关键领域的应用，深度神经网络的安全可靠性近年来得到极大的重视，如何利用形式化方法严格的证明深度神经网络的可靠性成为学术界和工业界都迫切需要解决的关键问题之一。

在本期名师讲堂中，我们邀请到华东师范大学软件工程学院张民教授。张民教授将针对深度神经网络的形式化验证及验证在环的安全深度强化学习训练的相关内容为同学们进行学术讲座。

  主讲人简介：

  张民，华东师范大学软件工程学院教授，软件科学与技术系系主任。主要研究方向为可信软件理论、可信人工智能和分布式系统。研究受到国家自然基金委、华为全球创新研究计划、国家留学基金委以及法国高等教育署等国家级和国际合作项目的资助，2019年入选中法“蔡元培”人才培养计划，2019-2020年入选法国尼斯大学高级访问教授计划。代表性成果发表在CAV、TCS、OOPSLA、ASE、AAAI等权威会议和期刊上。获得第26届IEEE亚太软件工程会议APSEC唯一最佳论文奖，FSE2020和RE2019会议最佳论文提名奖。