About Me

Heya, I'm Wen!

I'm a researcher with an interest in My programming languages research is focused on type systems. Specifically, on dependent types, linear types, and their other substructural friends. I wrote my doctoral thesis on session types, and I co-created the book Programming Language Foundations in Agda with my Ph.D. supervisor Philip Wadler and, later, Jeremy G. Siek. , My natural language research is focused on Lambek calculus and Montague semantics. , and My machine learning research is focused on the lightweight verification of neural networks and on structural machine learning. . I'm also a programmer with decades of experience working in Haskell and Agda.

This is my academic website. I publish blog posts on whatever topic I'm interested and with absolutely no schedule. If you're interested, there's an RSS feed.

I also maintain a list of my publications, with links to freely available copies, as well as a list of all the talks I've ever given, with links to recordings, where those exist, or to my slides otherwise.

You can reach me at zr@jra.jbexf.

You can follow me on Mastodon at @wen@types.pl