service

Professional Service at UoL

• I am undergraduate Admissions Tutor for Computer Science,
• Member of the Science and Engineering Research Ethics Committee, and
• Digital Assessment of Learning and Teaching (DALT) group member.

Programme Committees

• 2026, International Conference on Concurrency Theory (CONCUR). PC chair.
• 2025, Highlights of Logics, Games and Automata (HIGHTLIGHTS). PC member.
• 2025, Foundations of Software Science and Computation Structures (FoSSaCS). PC member.
• 2024, Symposium on Games, Automata, Logics, and Formal Verification (GandALF) PC member.
• 2023, Mathematical Foundations of Computer Science (MFCS). PC member.
• 2023, Formal Modeling and Analysis of Timed Systems (FORMATS). PC member.
• 2023, Symposium on Games, Automata, Logics, and Formal Verification (GandALF) PC member.
• 2023, International Symposium on Temporal Representation and Reasoning (TIME). PC member.
• 2021, Reachability Problems (RP). PC co-chair.
• 2021, ACM/IEEE Symposium on Logic in Computer Science (LICS). PC member.
• 2021, Highlights of Logics, Games and Automata (HIGHTLIGHTS). PC member.
• 2020, Formal Modeling and Analysis of Timed Systems (FORMATS). PC member.
• 2019, Reachability Problems (RP’19). PC member.

Organisation

• 2026, CONFEST. General Co-chair.
• 2024, QEST+FORMATS. Publicity chair.
• 2022, Trends in Graph and Stochastic Games. Co-organiser.
• 2021, Reachability Problems (RP). Local organiser.
• 2021, British Colloquium for Theoretical Computer Science (BCTCS).
• 2019, Autobóz’19, July 12-19 2019. Research camp on Logic, Automata, and Games. Co-organiser.
• 2017, Gregynog 71717, July 03–07 2017. Workshop on Vector Addition Systems. Co-organiser.
• 2015, DIMAP Logic Day, June 1st 2015. Workshop held at the University of Warwick. Co-organiser.