Li-yao XIA

I’m a post-doc at the University of Edinburgh since 2022, on a project to combine algebraic effects and gradual types.

My main areas of interest are functional programming (Haskell, Coq, Agda), formal verification, and testing. I did my PhD thesis at the University of Pennsylvania, in the PLClub, on interaction trees and their applications to program semantics.

Projects, publications

Google Scholar


Personal projects

Lysxia on Github.

I have a blog.

PLClub Talks (slides)

Programming, Libraries

Past activities