Hi! I'm an assistant professor at the programming languages group at TU Delft. I do research on the theory and implementation of dependently typed languages, specifically Agda. I'm also one of the main contributors to the implementation of Agda.
Latest blog posts (see all)
- An Invitation to Mindfulness - September 24, 2023
- Ten common writing issues in student papers - August 1, 2023
- I'm Autistic, and that's okay - April 22, 2023