Jesper Cockx - ICFP 2020

Write a Blog >>

Thu 20 - Fri 28 August 2020

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

2020

ICFP

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

Show activities from other conferences

ICFP 2020-profile
View general profile