• Kousha Etessami
• Unit: Other
• Organization: University of Edinburgh
• Interests: Automated verification; model checking; modeling and algorithmic analysis of reactive systems; temporal logic & automata; algorithms & computational complexity; probabilistic systems; game theory; logic.
• Website