Xuyang Li
Contact: li5274 # purdue dot edu
Xuyang Li is a second-year PhD student advised by Prof. Jingbo Wang at Purdue University. In 2024, he graduated with his master’s degree from Nanjing University, under the supervision of Prof. Xinyu Feng and Prof. Hongjin Liang.
He works on practical formal methods and software engineering. His past research experience involves compiler verification, polyhedral compilation, and weak memory models. He now works on scalable and incremental probabilistic Datalog with Souffle and ProbLog for program analysis. He is also interested in what vibe theorem proving could bring to the software community.
Get in touch!