Kousha Etessami

Kousha Etessami holds the Personal Chair in Algorithms, Games, Logic and Complexity at The University of Edinburgh's Department of Computer Science. His research focuses on algorithms, games, logic, and complexity. He is affiliated with the university and can be contacted via email at kousha@inf.ed.ac.uk. His professional profile is available at https://www.ed.ac.uk/Kousha_Etessami.html.

Kousha Etessami is a researcher at the University of Edinburgh, specializing in algorithms and complexity, algorithmic game theory, analysis of probabilistic systems, automated verification, and logic. His work explores the intersection of theoretical computer science and formal methods, with a focus on the computational complexity of Nash equilibria, model checking of Markov decision processes, and the verification of message sequence charts. He has contributed to the development of temporal logics for nested words and recursive systems, as well as the analysis of recursive state machines and stochastic grammars. His research emphasizes the theoretical foundations of verification and the logical representation of complex systems.