Jesper Cockx
Associate Professor
Delft, South Holland, Netherlands
Summary
🤩
Rockstar🎓
Top SchoolJesper Cockx is an Assistant Professor at TU Delft with 12 years of experience at the intersection of formal methods, programming language research, and mathematics. He holds a PhD from KU Leuven and progressed through postdoctoral research in Gothenburg before joining academia in the Netherlands, bringing deep theoretical training in mathematics to applied research and teaching. An active contributor to the Agda standard library, he focuses on backend improvements such as refining splitting strategies, adding type signatures, and utility functions—work that underscores a careful, proof-oriented engineering mindset. Jesper combines rigorous formal reasoning with practical code fixes, making him particularly adept at turning subtle type-theoretic issues into maintainable library improvements.
12 years of coding experience
7 years of employment as a software developer
Master of Science Wiskunde, Master of Science Wiskunde at KU LeuvenSint-Pieterscollege Leuven
Dutch, English, French
Github Skills (5)
functional-programming10
proof10
c-library10
agda10
common-library10
Programming languages (13)
Github contributions (5)
agda/agda-stdlib
Apr 2018 - Sep 2021
The Agda standard library
Role in this project:
Back-end Developer
Back-end DeveloperContributions:9 reviews, 26 commits, 23 PRs in 3 years 5 months
Contributions summary:Jesper primarily contributed to the Agda standard library, focusing on fixing and improving existing code. Their work involved correcting issues related to Agda's splitting strategy within the `Data.Fin.Substitution.Lemmas.agda` file. Further contributions included adding type signatures and expanding definitions. The user also made changes related to generalized variables and added utility functions.
agda
jespercockx/ohrid19-agda
Jun 2019 - Sep 2019
Material for the Agda course at the EUTYPES Summer School '19 in Ohrid
Contributions:48 commits, 30 pushes, 1 branch in 2 months
agda
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.