As an organizer
- LearnAut 2022
- CAV 2021 (student volunteer coordinator)
- LearnAut 2019
As a program committee member
- TbiLLC 2025 (upcoming)
- FORTE 2025 (upcoming)
- ICTAC 2024
- 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...
- an associate managing editor for Logical Methods in Computer Science (LMCS)
I used to...
- co-organize the LLAMA seminar (09/2021 to 08/2024)
- volunteer as layout editor for LMCS (02/2019 to 09/2024)
- maintain the UCL Beamer template