项目介绍
Dr. Li 即将加入南洋理工大学 (NTU) 计算机与数据科学学院担任助理教授。此前，他曾在哥伦比亚大学 (Columbia) 担任博士后研究员，与哥伦比亚大学的 Junfeng Yang 教授和约翰霍普金斯大学 (JHU) 的 Yinzhi Cao 教授合作。在此之前，他在香港中文大学 (CUHK) 获得博士学位，导师是 Wei Meng 教授，并在中国科学院大学 (UCAS) 获得学士学位。
他的研究方向聚焦于软件系统安全及其与人工智能的交汇领域，致力于解决Web、云和系统软件中的安全挑战。近期，他正在构建基础设施，以为基于大语言模型的软件安全智能体提供更强的安全保障。
具体来讲，他的研究方向包括：
LLM 安全：利用 LLM/代理解决开放的安全/程序分析问题，例如漏洞检测、漏洞利用生成和补丁分析。
人工智能系统的安全性：从系统角度分析现实世界人工智能/代理部署的安全性和可靠性。课题组也在积极探索形式化方法、验证和人工智能安全方面的新方向。
所属院系：南洋理工大学，计算与数据科学学院
项目时长：3 年
申请要求和方式
申请要求：
·在相关研究方向上拥有强烈的动力和求知欲，良好的英语沟通能力；
·对扎实的技术技能，最好能通过之前的研究项目或发表的论文加以证明。
申请方式：按照导师要求，发送简历和成绩单等材料到导师邮箱。经过双向选择后，向院校提出申请。
