About me

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)

Contact details