Xuyang Li

Contact: li5274 # purdue dot edu

xuyang-li.jpg

Xuyang Li is now a first 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.

Get in touch!