代码智能与安全

课程编码：4801860839X1D4001 英文名称：Code Intelligence and Security 课时：20 学分：1.00 课程属性：研讨课 主讲教师：孟国柱

本课程是网络空间安全学科研究生的专业研讨课,主要围绕智能化代码开发带来的安全问题，追踪前沿的理论研究和攻防技术，通过授课和研讨的形式开展。通过教学授课，让同学们对智能化代码开发的安全理论概念以及基本攻防技术有基本的了解。通过课程研讨方式，了解该领域的最新研究成果和未来发展趋势，增加学生们在智能化代码开发和分析中的安全理解,提高其软件开发过程中在安全性方面的专业素质。

程序设计语言、机器学习

第一章 课程概述 3.0学时 孟国柱
第1节 代码智能发展与安全概述
第2节 代码表征学习
第3节 智能辅助的程序分析
第4节 缺陷检测
第5节 软件测试
第6节 代码自动修复
第7节 深度程序合成
第二章 前沿讲堂 3.0学时 孟国柱
第1节 该领域国内外学者的前沿报告
第三章 专题研讨 14.0学时 孟国柱
第1节 专题方向研讨

孟国柱，中国科学院信息工程研究所副研究员、博士生导师，院特聘研究骨干，中国科学院大学岗位教师，2022年度北京市科技新星，2019年度ACM SIGSAC中国科技新星。2017年博士毕业于新加坡南洋理工大学，主要研究方向包括软件与系统安全，人工智能安全与隐私，在USENIX Security，CCS等信息安全和软件工程领域的CCF-A类会议或期刊中发表论文30余篇，获得2023年电子学会一等奖，2020年天津市科技进步一等奖，CCF-A类会议ICSE 2018杰出论文奖等。目前主持了中国科学院国防科技创新重点部署项目，科技创新2030-“新一代人工智能”重大项目子课题，国家自然科学基金青年项目等国家和省部级项目。