As an organizer
- LearnAut 2022
- CAV 2021 (Student Volunteer Coordinator)
- LearnAut 2019
As a program committee member
- ICGI 2023 (upcoming)
- EXPRESS/SOS 2022
- CMCS 2022
- ICGI 2020/2021
As a reviewer for journals
- 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
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.