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 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
the co-chair of SRC at POPL 2022,
the co-chair of SRC at POPL 2021,
the co-organiser of PLMW at POPL 2021,
the accessibility chair of PLDI 2020,
the co-organiser of ICW 2020 (Imperial College Concurrency Workshop, postponed to 2022 due to COVID-19),
the co-organiser of the INVEST 2014 workshop (introduction to verification and testing),
the co-organiser and streaming director of
ICW 2015,
and the co-organiser and streaming director of
PROCJAM 2014-2016.
I have also served on several mentoring panels aimed at early-stage researchers, including the PLMW panel at POPL 2019 titled 'Grad School and Beyond',
and the PLMW panel at OOPSLA 2019 titled 'What I wish I had known before attending graduate school'.
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 Programming.