Jesper Cockx
Assistant Professor at TU Delft
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
Sint-Pieterscollege LeuvenMaster of Science, Wiskunde, Master of Science, Wiskunde at Katholieke Universiteit Leuven
Dutch, English, French
Github Skills (6)
functional-programming10
proof10
common-library10
agda10
c-library10
standard-library10
Programming languages (12)
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.
dependent-typesagdahomotopy-type-theorystandard-library
agda/agda2hs
Oct 2020 - Nov 2022
Compiling Agda code to readable Haskell
Contributions:101 reviews, 114 commits, 146 PRs in 2 years 1 month
dependent-typesghcreadablesathaskell
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.