About me

I’m a mathematician with an interest in programming language theory and type theory in particular. I'm currently doing a postdoc in the Programming Logic group in Göteborg, where I work on Agda, a programming language and proof assistant based on Martin-Löf type theory.

Blog posts

• Writing Agda blog posts in literate markdown - March 19, 2019
• Elaborating Dependent (Co)pattern Matching - September 22, 2018
• The Agda's New Sorts - May 3, 2018

Contact details

• Work email cockx at chalmers dot se
• Private email jesper at sikanda dot be
• Phone +46 73 305 69 25
• Work address Department of Computer Science and Engineering, Rännvägen 6b, 41296 Göteborg, SWEDEN
• Github jespercockx
• Twitter @dregntael