| CARVIEW |
Select Language
HTTP/2 200
server: nginx/1.18.0 (Ubuntu)
date: Mon, 29 Dec 2025 04:35:28 GMT
content-type: text/html
last-modified: Fri, 19 Dec 2025 16:24:28 GMT
etag: W/"69457c3c-c17"
x-frame-options: sameorigin
content-security-policy-report-only: default-src 'self'; img-src 'self' data:; script-src 'self' 'unsafe-inline'; style-src 'self' 'unsafe-inline'; object-src 'none'; frame-ancestors 'self'; base-uri 'self'
strict-transport-security: max-age=31536000; includeSubDomains; preload
x-content-type-options: nosniff
x-xss-protection: 1; mode=block
referrer-policy: strict-origin-when-cross-origin
permissions-policy: geolocation=(), microphone=(), camera=()
content-encoding: gzip
Jesper Cockx - About me
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)
- The good places to submit your papers - December 19, 2025
- Reflective journaling prompts - September 15, 2024
- On erasure annotations and agda2hs - July 30, 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