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)

• Introduction to Coinduction in Agda Part 1: Coinductive Programming - January 22, 2026
• Going Vegan, or How I Ran All Out Of Excuses - January 3, 2026
• The good places to submit your papers - December 19, 2025

Contact details

• Work email [email protected]
• Private email [email protected]
• Office 3.E.340, building 28
• Work address PL / ST / EEMCS , Delft University of Technology , Van Mourik Broekmanweg 6 , 2628 XE Delft , The Netherlands
• Github jespercockx
• Mastodon @[email protected]