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.