Service

Organizing/Chairing:

CoqPL'22 (co-organizer and co-chair), CoqPL'21 (co-organizer and co-chair)

Journal Refereeing:

ACM Transactions on Programming Languages and Systems (TOPLAS), Mathematical Structures in Computer Science (MSCS), Journal of Formalized Reasoning (JFR),

Program Committee:

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

External Reviewer:

CPP'20, LICS'19, ESOP'19, FSCD'18, FSCD'17, LICS'17

Other:

POPL'22 (Web Co-Chair), POPL'21 (Web Co-Chair), POPL'20 (Web Co-Chair)