[an error occurred while processing this directive] An error occured whilst processing this directive
Position: | Reader |
Role: | Member |
E-mail: | jcb@inf (add .ed.ac.uk for real email) |
Office(s): | IF-4.07 |
Phone(s): | (+44 131 6)505998 |
Research Interests: | Modal and temporal logics, model-checking, concurrency, independence logics, descriptive complexity and set theory, UML and modelling languages. |
Homepage: | http://homepages.inf.ed.ac.uk/jcb/ |
This page is generated from the School of Informatics Database. If you think that some information is incorrect, please contact the database administrator.
An error occured whilst processing this directive