Hi there 👋 Blessing on your day.

I'm Xuyang Li, currently a second year PhD student working on formal methods at Elmore Family School of Electrical and Computer Engineering , Purdue. Feel free to chat with me at li5274 at purdue dot edu!

I research on formal methods and software engineering techiques. Specifically, I'm working with souffle and problog.

For former projects, I worked on verified compilation (see CompCert) and polyhedral compilation (see Pluto). I also know something about relaxed concurrency (see compiler verification on Promising Semantics). I mechanize proofs with Coq proof assistant.

If you're interested, just drop by my homepage!

2025.8.23