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

Google Scholar

Personal projects

Lysxia on Github.

I have a blog.

Past activities

Links