About me

I’m a mathematician with an interest in programming language theory and type theory in particular. I'm currently doing a postdoc in the Programming Logic group in Göteborg, where I work on Agda, a programming language and proof assistant based on Martin-Löf type theory.

Blog posts

Contact details