Kousha Etessami
Position
Reader
Roles
Member of Laboratory for Foundations of Computer Science
Research Interests
Automated verification, model checking, modeling and analysis of reactive and concurrent systems, testing, temporal logic and automata, algorithms and computational complexity, applications of logic, databases.
Email Address
<kousha@inf.ed.ac.uk>
Office,Telephone
IF-5.21, +44 (0) 131 650 5197
Informatics Research Reports
Personal Page


Home : People 

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