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)
- Don't worry (about writing Haskell), be happy (writing Agda instead)! - October 4, 2022
- 1001 Representations of Syntax with Binding - November 4, 2021
- WITS '21: First International Workshop on the Implementation of Type Systems - October 15, 2021