| Apr 02, 2025 | Teaching: We were featured in a promotional case study for CodeGrade. |
| Mar 24, 2025 | I will act as PC chair for the International Conference on Concurrency Theory (CONCUR) in 2026. |
| Mar 02, 2025 | Our group will host CONFEST’26 in Liverpool. Together with David Purser, Shufang Zhu, and Daniel Hausmann, I will organize this umbrella event, including the three main conferences CONCUR, FMICS, QEST+FORMATS, and affiliated workshops. |
| Feb 10, 2025 | We welcome Henry Sinclair-Banks (Warsaw), who is visiting us this week. |
| Feb 10, 2025 | Funding: The European Commission has confirmed forthcoming support for our Horizon Europe project Quantum Synthesis, on PFA, QFA and Games. The Marie Skłodowska-Curie Action will support Di-De Yen (Fellow) and myself (PI) for 24 months. Congratulations! |
| Jan 10, 2025 | Our article HyperLTL Satisfiability Is Highly Undecidable, HyperCTL* is Even Harder, joint work with Marie Fortin, Louwe B. Kuijer, and Martin Zimmermann, has (finally) been published in Logical Methods in Computer Science. |
| Jan 06, 2025 | We welcome Andrew Ryzhikov (Oxford), who is visiting us until January 16th. |
| Dec 22, 2024 | I’m on the PC of HIGHTLIGHTS’25 |
| Oct 15, 2024 | Our article History-deterministic Timed Automata, joint work with Sougata Bose,Thomas A. Henzinger, Karoliina Lehtinen, Sven Schewe, was (finally) published in Logical Methods in Computer Science. |
| Sep 14, 2024 | Our article Strategy Complexity of Reachability in Countable Stochastic 2-Player Games, joint work with Stefan Kiefer, Richard Mayr, and Mahsa Shirmohammadi, was (finally) published in Dynamic Games and Applications. |
| Jun 02, 2024 | I attended the Dagstuhl Seminar 24231 on Stochastic Games. See here for my slides. |
| Jun 01, 2024 | Appointment to full professor (personal chair). |
| Mar 25, 2024 | A warm welcome to Di-De Yen who starts his postdoc with me today, funded through our EPSRC project Games for Good. |
| Feb 24, 2024 | I am on the PC of GandALF (International Symposium on Games, Automata, Logics, and Formal Verification) 2024. |
| Jan 30, 2024 | The Deutsche Forschungsgemeinschaft (DFG) has confirmed forthcoming support for my work through their Heisenberg Programm. |
| Jan 18, 2024 | I will serve on the PC of FoSSaCS (Foundations of Software Science and Computation Structures) in 2025. |
| Dec 21, 2023 | Our paper on Parity Games on Temporal Graphs has been accepted at FoSSaCS’24. |
| Dec 05, 2023 | I will act as publicity chair for the forthcoming and newly joined conference(s) QEST+FORMATS’24. |
| Sep 18, 2023 | I am attending INFINITY and CONCUR this year. Meet you in Antwerp? |
| Sep 11, 2023 | Starting in ‘24, I will be PI on the new EPSRC project Games for Good with Sven Schewe and Qiyi Tang (CIs). |
| Mar 06, 2023 | I am on the PC of TIME’23 (International Symposium on Temporal Representation and Reasoning). |
| Jan 17, 2023 | I am on the PC of GandALF (International Symposium on Games, Automata, Logics, and Formal Verification) this year. |
| Dec 15, 2022 | I am on the PC of FORMATS’23 (International Conference on Formal Modeling and Analysis of Timed Systems). |
| Sep 22, 2022 | I am on the PC of MFCS (Mathematical Foundations of Computer Science) 2023. |
| Jul 01, 2022 | A warm welcome to Peter Austin who starts a PhD with me today! |
| Jun 29, 2022 | Funding: I am CI on the upcoming EPSRC project Under the Branches of Universal Trees with Sven Schewe (PI), Daniele Dell’Erba and Dominik Wojtczak (CIs). |
| Jun 27, 2022 | I am attending HIGHTLIGHTS and ICALP and (virtually) CONCUR this year. |
| Apr 29, 2022 | Together with Rahul Savani I’ve won a competitive “Learning & Teaching and Student Experience Award” for our work on assessment and feedback for coding assignments. Check out my slides slides for the showcase talk. |
| Apr 07, 2022 | Together with János Flesch and Arkadi Predtetchinski I will host the workshop on Trends in Graph and Stochastic Games in Maastricht. |
| Jul 01, 2021 | A warm welcome to Sougata Bose who starts his postdoc with me today! |
| May 11, 2021 | I’m shortlisted for the 2021 “Teacher of the Year” award in Science and Engineering by the Liverpool Guild of Students. Many thanks for the nomination and congrats to all winners! |
| Apr 01, 2021 | Together with Paul Bell I am PC co-chair for Reachability Problems (RP’21). |
| Mar 29, 2021 | Excited to host this year’s British Colloquium for Theoretical Computer Science (BCTCS) on March 29–31. Check out our website for details. |
| Mar 03, 2021 | Funding success: together with Filip Mazowiecki and Georg Zetzsche (MPI-SWS) we are supported by a Royal Society International Exchanges grant to study Unambiguity in Infinite-state Systems. |
| Feb 18, 2021 | I am looking for a postdoc! The position is available for 3 years starting in May 2021 (flexible). Application deadline is 21-03-2021. Details here. |
| Dec 17, 2020 | Funding success: I will be PI on a new EPSRC funded project on the cost of winning strategies! |
| Dec 16, 2020 | I’m on the PC of HIGHTLIGHTS’21 |
| Jul 01, 2020 | I am attending INFINITY, HIGHTLIGHTS and Autoboz this year. |
| Jun 29, 2020 | Two papers accepted for publication at CONCUR, one at ICALP and one at MFCS this year. |
| Nov 28, 2019 | I’m a Fellow of the UK Higher Education Academy. |
| Aug 06, 2019 | I’m on the PC of LICS’21. |
