| Sep 18, 2026 |
Congratulations to Dr Pete Austin, who has passed his viva today!
Thanks also to the examiners Dominik Wojtczak
and Pierre Vandenhove!
|
| Jul 01, 2026 |
I will give an invited tutorial at the VeTSS Summer School 2026. References and exercises here.
|
| Apr 20, 2026 |
Joint work with Hugo Gimbert and Corto Mascle on the random population control problem
has been accepted at ICALP-A and ICALP-B this year :)
|
| Sep 10, 2025 |
I am taking over the lead of the Verification Group.
|
| Jul 01, 2025 |
A warm welcome to Michal Ajdarów who starts his postdoc with me today!
|
| May 30, 2025 |
Two papers
1,
2
accepted for publication at
CONCUR,
and one
at EC (Economics and Computation).
|
| 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.
|
