Personal tools
You are here: Home People Academics Kousha Etessami

Kousha Etessami

Position: Reader
Role: Member
E-mail: kousha@inf (add .ed.ac.uk for real email)
Office(s): IF-5.21
Phone(s): (+44 131 6)505197
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.
Homepage: http://homepages.inf.ed.ac.uk/kousha
Document Actions