Xuyang Li
Contact: li5274 # purdue dot edu
Xuyang Li is now a second year PhD student advised by Prof. Jingbo Wang at Purdue University. In 2024, he graduated with his master degree from Nanjing University, under supervision by 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. Now he’s working on scaling and incrementalizing probabilistic datalog (refer to souffle and problog) for program analysis tasks.
Get in touch!