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

WITS 2022 Organizer in Program Committee within the WITS 2022-track
GPCE 2021 Author of Extracting The Power of Dependent Types within the GPCE-track
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 2021 Author of Leibniz equality is isomorphic to Martin-Löf identity, parametrically (JFP Presentation) within the Research Papers-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