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

• The Taming of the Rew - January 7, 2021
• Mijn uitdaging voor jou in 2021: Doe zoveel goed als je kan - December 24, 2020
• My challenge for you in 2021: Do the most good you can - December 24, 2020
• An introduction to property-based testing with QuickCheck - December 17, 2020
• NWO Veni Grant on A Trustworthy and Extensible Core Language for Agda - November 11, 2020
• 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 @agdakx