Kousha Etessami
Position
Reader
Roles
Member of Laboratory for Foundations of Computer Science
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.
Email Address
<kousha@inf.ed.ac.uk>
Office,Telephone
IF-5.21, +44 (0) 131 650 5197
Informatics Research Reports
Publication Repository Entries (experimental)
Personal Page


Home : People 

Please contact us with any comments or corrections.
Unless explicitly stated otherwise, all material is copyright The University of Edinburgh