大连理工大学软件工程学科以《国家中长期科技发展规划纲要》为指导,面向国家重大战略需求,成立了以六个研究所为依托的科研团队:软件工程研究所、智能系统研究所、机器学习研究所、大数据研究所、网络空间安全研究所、几何计算与智能媒体技术研究所。结合国家信息产业今后发展需求,进一步凝练学科优势领域和发展方向,形...



0411-8744514
DGRJ@163.com
@大工yl6809永利校友

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

2022-12-09  点击:[]

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

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


  主讲人简介:

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

上一条:关于撤销吕惠清软件工程专业硕士学位的公示 下一条:关于2023届优秀毕业生yl6809永利评选结果公示的通知

关闭