Laboratory for Foundations of Computer Science

School of Informatics

University of Edinburgh

I am a reader in the Laboratory for Foundations of Computer Science within the School of Informatics of the University of Edinburgh.

** 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.

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:**

Alistair Stewart

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 apply via the School of Informatics
postgraduate application web page,
and you are also encouraged to
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: **

CAV 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.21
- 10 Crichton Street
- Edinburgh EH8 9AB
- Scotland, UK
- Telephone: +44 (0)131 650 5197