【教授本人】【香港中文大学】招收25Fall 软件/系统/AI4Code/安全方向PhD

欢迎对程序语言、软件工程、编译器、系统及安全、AI4Code 感兴趣的同学申请！

导师简介：
Shaohua Li (李少华)于2016/2019年本科/硕士毕业于中国科学技术大学，于2024年博士毕业于ETH Zurich，将于2025年一月入职香港中文大学计算机系任职助理教授。研究方向主要为程序/软件/系统的Correctness/Reliability/Security。目前的研究兴趣包括如何利用AI及传统手段保障大规模程序/系统的正确性和安全性，以及如何解决模型生成Code本身的正确性和安全性。

学校介绍：
香港中文大学位于香港沙田，靠近香港科学园且距深圳相对较近（适合实习以及工业界合作）。所有的PhD职位均为全奖（最低18500港币每月），学制4年。
感兴趣的同学欢迎邮件CV+成绩单到 1point3acres.com 或者访问我的个人主页 shao-hua-li.github.io