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)
- Reflective journaling prompts - September 15, 2024
- On erasure annotations and agda2hs - July 30, 2024
- Functional Programming in the Netherlands - July 17, 2024
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