教育经历：
2018-08 至 2023-08, University of Technology Sydney（悉尼科技大学）, 软件工程, 博士
工作经历：
2023-08 至 2024-11, 新南威尔士大学 (University of New South Wales) ,博后
2025-02 至 今, 北京理工大学（珠海） 助理教授
主要研究领域：
程序语言；程序分析；形式化方法
代表性成果：
Yuxiang Lei, Camille Bossut, Yulei Sui and Qirun Zhang, “Context-free language reachability via skewed tabulation”, Proceedings of the ACM on Programming Languages, vol. 8, PLDI 2024.
Pei Xu, Yuxiang Lei*, Yulei Sui and Jingling Xue, “Iterative-epoch online cycle elimination for context-free language reachability”, Proceedings of the ACM on Programming Languages, vol. 8, pp. 1437–1462, OOPSLA1, 2024.
Yuxiang Lei, Yulei Sui, Shin Hwei Tan and Qirun Zhang, “Recursive state machine guided graph folding for context-free language reachability”, Proceedings of the ACM on Programming Languages, vol. 7, pp. 318–342, PLDI 2023.
Yuxiang Lei, Yulei Sui, Shuo Ding and Qirun Zhang, “Taming transitive redundancy for context-free language reachability”, Proceedings of the ACM on Programming Languages, vol. 6, pp. 1556–1582, OOPSLA2 2022.
Yuxiang Lei and Yulei Sui, “Fast and precise handling of positiveweight cycles for field-sensitive pointer analysis”, Static Analysis: 26th International Symposium, SAS 2019.
学术服务：
Program Committee: APSEC 2025
