Jesper Cockx

Registered user since Mon 16 Nov 2015

Name:Jesper Cockx
Country:Netherlands
Affiliation:Delft University of Technology
Personal website:https://jesper.sikanda.be
Research interests:Type Theory, Dependently Typed Programming, Pattern Matching, Agda

Contributions

SLE 2022 Author of Optimising First-Class Pattern Matching within the SLE 2022-track
Haskell 2022 Author of Demos within the Haskell 2022-track
Author of Reasonable Agda is Correct Haskell: Writing Verified Haskell using agda2hs within the Haskell 2022-track
ICFP 2022 Author of Practical generic programming over a universe of datatypes within the ICFP Papers and Events-track
Committee Member in Program Committee within the ICFP Papers and Events-track
Session Chair of (Gradual) Type Theory (part of ICFP Papers and Events)
WITS 2022 Organizer in Program Committee within the WITS 2022-track
Session Chair of Session 4 (part of WITS 2022)
Session Chair of Session 1 (part of WITS 2022)
Chair of Elaborator reflection APIs (discussion) within the WITS 2022-track
Session Chair of Session 5 (part of WITS 2022)
Chair of Fancy module systems (discussion) within the WITS 2022-track
Session Chair of Session 2 (part of WITS 2022)
Session Chair of Session 3 (part of WITS 2022)
GPCE 2021 Author of Extracting The Power of Dependent Types within the GPCE-track
ICFP 2021 Author of Leibniz equality is isomorphic to Martin-Löf identity, parametrically (JFP Presentation) within the Research Papers-track
POPL 2021 Author of The Taming of the Rew: A Type Theory with Computational Assumptions within the POPL-track
CPP 2021 Session Chair of Proof Tactics (part of CPP 2021)
Committee Member in Program Committee within the CPP 2021-track
ICFP 2020 Committee Member in External Review Committee within the ICFP Program-track
Committee Member in Poster and Presentation Judges within the Student Research Competition-track
Committee Member in Program Committee within the Student Research Competition-track
POPL 2020 Committee Member in Program Committee within the Research Papers-track
TyDe 2019 Committee Member in Program Committee within the TyDe 2019-track
POPL 2019 Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
Author of [T5] Correct-by-Construction Programming in Agda within the TutorialFest-track
Author of Definitional Proof-Irrelevance without K within the Research Papers-track
ICFP 2018 Author of Elaborating Dependent (Co)pattern Matching within the Research Papers-track
ICFP 2017 Committee Member in Artifact Evaluation Committee within the Research Artifacts-track
CPP 2017 Author of Lifting proof-relevant unification to higher dimensions within the CPP-track
ICFP 2016 Author of Unifiers as Equivalences: Proof-Relevant Unification of Dependently Typed Data within the Research Papers-track
ECOOP 2016 Committee Member in Artifact Evaluation Committee within the Artifacts-track