| 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 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 5, 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 6, 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 1, 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 7, 2022 |
Together with
János Flesch
and Arkadi Predtetchinski
I will host the workshop on
Trends in Graph and Stochastic Games
in Maastricht.
|
| Jul 1, 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 1, 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 3, 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 1, 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 6, 2019 |
I’m on the PC of LICS’21.
|
