Service
Departmental Service at Aarhus University:
PhD Committee (member)
Steering Committee:
Organizing/Chairing:
PLS Summer School 2026 (organizer),
CPP'25 (co-general-chair),
CPP'24 (co-general-chair),
CoqPL'22 (co-organizer and co-chair),
CoqPL'21 (co-organizer and co-chair)
Program Committee:
ICFP'26,
PLDI'25,
POPL'24,
CPP'23,
ICFP'21,
CPP'21,
PriSC'19,
ICFP'19 Artifact Evaluation Committee (AEC),
PLDI'19 Artifact Evaluation Committee (AEC),
POPL'19 Artifact Evaluation Committee (AEC),
HOPE'18
Journal Refereeing:
Journal of Functional Programming (JFP),
Testing, Verification, and Reliability (STVR),
ACM Transactions on Programming Languages and Systems (TOPLAS),
Mathematical Structures in Computer Science (MSCS),
Journal of Formalized Reasoning (JFR),
External Reviewer:
Other: