深度学习系统的安全性分析

主讲人：黄沛

时间：2024年6月19日14：30

地点：图书馆五楼报告厅

主讲人简介：黄沛，中科院软件所博士，美国斯坦福大学计算机系博士后，师从于著名自动推理专家Clark Barrett教授。主要研究方向有自动推理、可信AI，参与科研项目多项，其中包含“973”国家重点基础研究发展计划、国家自然科学基金、中国科学院前沿科学重点项目等。目前已在IJCAR、CAV、AAAI、IJCAI、ISSTA、ASE、NeurIPS、WWW等计算机领域高水平国际会议上发表论文20余篇。曾获CCF-A类推荐会议ISSTA优秀论文奖（Distinguished paper）、AAAI最佳学生摘要奖(Best student abstract)、2023年CCF博士学位论文激励计划提名、中国科学院优秀博士学位论文、中国科学院院长奖。