Li-yao XIA

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

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.

Projects, publications

Personal projects

Lysxia on Github.

I have a blog.

Past activities