As an organizer
- LearnAut 2022
- CAV 2021 (Student Volunteer Coordinator)
- LearnAut 2019
As a program committee member
- ICTAC 2024 (upcoming)
- RAMICS 2024
- CMCS 2024
- CSL 2024
- RADICAL 2023
- EXPRESS/SOS 2023
- ICGI 2023
- EXPRESS/SOS 2022
- CMCS 2022
- ICGI 2020/2021
As an artifact evaluation committee member
- ESOP/FASE/FoSSaCS 2024 (co-chair on behalf of ESOP)
As a reviewer for journals
- Fundamenta Informaticae
- Logical Methods in Computer Science
- Journal of Logical and Algebraic Methods in Programming
- Mathematical Structures in Computer Science
- Journal of Computer and System Sciences
As a subreviewer
- ICTAC 2023
- RAMICS 2023
- FoSSaCS 2023
- CONCUR 2022
- LICS 2022
- IJCAR 2020
- CONCUR 2019
- ESOP 2019
- FORTE 2018
- ICTAC 2017
- PLDI 2017
- SEFM 2017
I have also written post-publication reviews for MathRev.
Other
I am also...- a co-organizer of the LLAMA seminar
- a layout editor for Logical Methods in Computer Science
I used to maintain the UCL Beamer template.