Kousha Etessami
Laboratory for Foundations of Computer Science
School of Informatics
University of Edinburgh
email: kousha at inf.ed.ac.uk

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