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/theoretical computer science background (and good programming skills are also a plus).
If you are interested in applying for Ph.D. study with me, please do so via the School of Informatics' postgraduate application web page.
(You may also consider applying for a Ph.D. studentship within the doctoral training programme in pervasive parallelism with which I have an affiliation.)

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