Kousha Etessami is a professor in the School of Informatics, University of Edinburgh, which he joined in 2002. From 1997 to 2002 he was a member of the research staff at Bell Laboratories in Murray Hill, NJ. He received a Ph.D. in computer science at the University of Massachusetts-Amherst in 1995, and he held postdoctoral fellowships at DIMACS (1995-1996) and BRICS (1996-7). Etessami’s research has spanned several areas of theoretical computer science: algorithms and logic, computational complexity, automated verification and model checking, automata theory, and more recently algorithmic game theory and equilibrium computation, and algorithmic analysis of infinite-state stochastic models and stochastic games.