Kousha Etessami
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 talk/tutorial slides:
The complexity of analyzing infinite-state Markov chains,
Markov decision processes, and stochastic games. Invited talk at
STACS'2013.
"The Complexity of Nash Equilibria
and Fixed Points of Algebraic Functions" . Tutorial at
GAMES'08.
(Earlier
talk
on same subject
at Dagstuhl Seminar on Equilibrium Computation, 2007).
"Adding Recursion to Markov Chains, Markov Decision Processes,
and Stochastic Games: Algorithms and Complexity", Tutorial at
QEST'11.
Lecture notes
on "Automata-theoretic Model Checking",
SFM'02:MC School on Model
Checking, 2002.
Postdoctoral research associate:
Václav Brožek (Newton Fellow)
Ph.D. students:
Alistair Stewart
Dominik Wojtczak
(completed Ph.D. in 2009)
(If you are interested in applying for Ph.D. study with me, please see the School of Informatics' postgraduate application web page.)
Tools:
PReMo:
an analyzer for probabilistic recursive models (developed by D. Wojtczak).
Conferences and program committees:
ITCS 2014 (5th Innovations in Theoretical
Computer Science conference)
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