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

• 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

• a co-organizer of the LLAMA seminar
• a layout editor for Logical Methods in Computer Science

I used to maintain the UCL Beamer template.