Li-yao XIA

I’m a PhD student at the University of Pennsylvania since 2017.

My main topic of interest is program correctness via the design of languages (in a broad sense encompassing libraries and programming patterns) that facilitate programming, specification, and verification.


Personal projects

Lysxia on Github.

I have a blog. Sometimes I also write in French.

Past activities