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)

• 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

Contact details

• Work email J.G.H.Cockx@tudelft.nl
• Private email jesper@sikanda.be
• 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 @agdakx@types.pl