副教授(博士生导师)
复旦大学 计算与智能创新学院
地址:上海市 杨浦区 淞沪路2005号
复旦大学江湾校区 交叉二号楼D6023室
| Home | Publications | Artisan-Lab | Pictures | Misc |
I am an Associate Professor at the College of Computer Science and Artificial Intelligence, Fudan University, where I lead the Artisan-Lab. My research focuses on program analysis and software reliability, with an emphasis on Rust code analysis. Before joining Fudan University, I was a Postdoctoral Researcher at the Chinese University of Hong Kong, supported by the CUHK Postdoctoral Research Fellowship. I also received my Ph.D. degree from CUHK, supervised by Prof. Michael Lyu. Before my academic career, I worked in industry as a security professional for several years after obtaining my M.Sc. degree from Hong Kong University, and B.Eng and B.M degrees from China University of Geosciences (Beijing).
Email: xuh[AT]fudan.edu.cn
I am looking for self-motivated students (Ph.D., master, intern, or FYP). Please drop me an email if you are interested. 博士、硕士研究生报名请选择:计算机科学与技术=>智能网络与系统学科方向.
Taming Unsafe Code with Safety Tags, Slides, Video, Rust Formal Methods Interest Group, Online, Oct, 2025
Unsafe代码治理 Slides, CCF秀湖会议,Suzhou, July, 2025
Fighting The Heap War with Rust Slides, Video, GOSIM Workshop, Shanghai, Sep 2023
Rust安全机制和特权代码安全强化 Slides, CCF-ADL 学科前沿讲习班第142期, Beijing, Sep 2023