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

Roles

Personal projects

Lysxia on Github.

I have a blog.

PLClub Talks (slides)

Programming, Libraries

Past activities

Links