Li-yao XIA (夏黎尧)

I’m a free spirit who likes functional programming (Haskell, Coq, Agda), formal verification, and testing.

Projects, publications

Google Scholar

Roles

Personal projects

Lysxia on Github.

I have a blog.

PLClub Talks (slides)

Programming, Libraries

Past activities

Links