Jesper Cockx

Registered user since Mon 16 Nov 2015

Name: Jesper Cockx

Country: Netherlands

Affiliation: TU Delft

Personal website: https://jesper.sikanda.be

Research interests: Type Theory, Dependently Typed Programming, Pattern Matching, Agda

Contributions

CPP 2021 Session Chair of Proof Tactics (part of CPP 2021)
Committee Member in Program Committee within the CPP 2021-track
POPL 2021 Author of The Taming of the Rew: A Type Theory with Computational Assumptions within the POPL-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
TyDe 2019 Committee Member in Program Committee within the TyDe 2019-track
POPL 2020 Committee Member in Program Committee within the Research Papers-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