Personal tools
You are here: Home People Academics Kousha Etessami

Kousha Etessami

Position: Reader
Role: Member
E-mail: kousha@inf (add 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.
Document Actions