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.

Blog posts

• Announcement: I'm moving to Delft! - November 12, 2019
• Rewriting type theory - October 30, 2019
• Hack your type theory with rewrite rules - October 21, 2019
• Formalize all the things (in Agda) - October 4, 2019
• EUTYPES '19 Summer School in Ohrid - September 13, 2019
• Writing Agda blog posts in literate markdown - July 9, 2019
• Elaborating Dependent (Co)pattern Matching - September 22, 2018
• The Agda's New Sorts - May 3, 2018

Contact details

• Work email J dot G dot H dot Cockx at tudelft dot nl
• Private email jesper at sikanda dot be
• Work address PL / ST / EEMCS , Delft University of Technology , Van Mourik Broekmanweg 6 , 2628 XE Delft , The Netherlands
• Github jespercockx
• Twitter @dregntael