معرفی
Jesper Cockx is an Assistant Professor in the Programming Languages group at Delft University of Technology. His research focuses on the theory and implementation of dependently typed languages, particularly Agda, and he is a core contributor to Agda's development. His work bridges Type Theory, Pattern Matching, and practical Compiler Design through tools like agda2hs.
Research Interests:
- Type Theory and Dependently Typed Programming
- Pattern Matching and Unification
- Agda and Compiler Implementation
- Erasure Annotations for Verified Compilation
- Generic Programming and Language Design
- Formal Verification of Functional Code
Scientific Awards:
- NWO Veni Grant (2020) for a Trustworthy and Extensible Core Language for Agda
Conference Contributions: He serves on program committees for CPP, WITS, POPL, and ICFP. Recent publications analyze erasure annotations, correct-by-construction compilers, and dependent (co)pattern matching in Agda. His work often intersects with Haskell and functional programming education in the Netherlands.
۰مقاله ثبتشده
