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)

• 1001 Representations of Syntax with Binding - November 4, 2021
• WITS '21: First International Workshop on the Implementation of Type Systems - October 15, 2021
• EuroProofNet: the European research network on digital proofs - October 15, 2021

Contact details

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