Publications: publications available online.

Research interests: In general, theoretical computer science. More specifically:
automated verification, logic,
algorithms and computational complexity theory,
algorithmic game theory, equilibrium computation,
analysis of probabilistic systems, Markov decision processes, stochastic games,
automata theory, model checking,
analysis of infinite-state systems,
finite model theory and descriptive complexity.

Teaching:
Algorithmic game theory course.
Randomized Algorithms course.
Discrete Mathematics course .
(Stochastic) Modelling and Simulation course (Fall '05-'10).
Compiling techniques course (Spring '03-'05).

Some invited talks/tutorial slides

Postdoctoral research associate:
Václav Brožek (Newton Fellow, now at Google-Munich)

Ph.D. students:
Thomas Webster.
Emanuel Martinov (completed Ph.D. in 2021).
Alistair Stewart (completed Ph.D. in 2014, now at Web3 Foundation.)
Dominik Wojtczak (completed Ph.D. in 2009, now Lecturer at U. of Liverpool)

I'm looking for Ph.D. students with a strong mathematics/theory background.
If you are interested in applying for Ph.D. study with me, please contact me by email, and please apply via the School of Informatics postgraduate application web page. You are encouraged to also consider applying for a Ph.D. studentship within the Doctoral Training programme in Data Science or the Doctoral Training Programme in Pervasive Parallelism, both of which I have an affiliation with as a possible PhD supervisor.

Software:
PReMo: an analyzer for probabilistic recursive models (developed by D. Wojtczak).

Conferences and program committees:
ICALP 2023 (PC-chair, Track B)
ITCS 2022
SAGT 2021
ICALP 2020
LICS 2019
LearnAut 2019
SAGT 2018
SODA 2018
ITCS 2018
CAV 2016
RP 2016
RP 2015
LCC 2014/ImmermanFest
ICALP 2014
STACS 2014
ITCS 2014 (5th Innovations in Theoretical Computer Science conference)
FOSSACS 2014
Horizons in Theoretical Computer Science: A Celebration of Mihalis Yannakakis's 60th Birthday, CCI/Princeton, August, 2013.
LICS'2013
STOC'2011
LICS'2011
SAGT'2010: 3rd. Int. Symp. on Algorithmic Game Theory
QEST'10
ICALP'09
FOSSACS'09
Logic and Algorithms'08 (co-organizer with Anuj Dawar and Moshe Vardi)
SPIN'08
QEST'07
CONCUR'06
LICS'06
CAV'05 (co-chair with Sriram Rajamani)
CAV'04
CSL'04

Some old software for LTL to Büchi translation

Office address:

Laboratory for Foundations of Computer Science

School of Informatics

University of Edinburgh

Informatics Forum, Room 5.20

10 Crichton Street

Edinburgh EH8 9AB

Scotland, UK

Telephone: +44 (0)131 650 5197