Professional Activities
I am involved in the organisation of several academic events, including serving on the program committee for key conferences in my field. I am a proponent of conference streaming, and often set up and maintain livestreams for events, providing an important archive of the presentations, and enabling broader participation from around the world and outside of academia. If you'd like me to be involved in organising an event, please feel free to contact me.
Program and Review Committees
I have been invited to serve on the program and review committees of numerous venues including POPL 2026, PLDI 2025, OOPSLA 2025, ESOP 2024, POPL 2023, ICFP 2022, CAV 2022, PLDI 2021, VMCAI 2021, OOPSLA 2020, NETYS 2020, PLDI 2020, POPL 2020, SRC at POPL 2020, SRC at ICFP 2019, SRC at PLDI 2019, ECOOP 2019, SRC at APLAS 2018 and MFPS 2018.
Organising Committees
I have been invited to serve on the organising committees of several events including:
- co-organiser of the Theory and Practice of Static Analysis (TPSA) Workshop at POPL 2025
- program chair of VSTTE 2024
- co-organiser of the Formal Specification and Validation at Scale Seminar at the Isaac Newton Institute
- co-organiser of the Incorrectness Workshop at POPL 2024
- co-chair of SRC at POPL 2022
- co-chair of SRC at POPL 2021
- co-organiser of PLMW at POPL 2021
- accessibility chair of PLDI 2020
- co-organiser of ICW 2020 (Imperial College Concurrency Workshop, postponed to 2022 due to COVID-19)
- co-organiser of the INVEST 2014 workshop (introduction to verification and testing)
- co-organiser and streaming director of ICW 2015
- co-organiser and streaming director of PROCJAM 2014-2016.
In 2021, I organised the Dagstuhl Seminar 21462 on Foundations of Persistent Programming.
In October 2023, I organised the Dagstuhl Seminar 23412 on Formal Methods for Correct Persistent