Julian Bradfield
Position
Reader
Roles
Member of Institute for Communicating and Collaborative Systems
Member of Laboratory for Foundations of Computer Science
Research Interests
Modal and temporal logics, model-checking, concurrency, independence logics, descriptive complexity and set theory, UML and modelling languages.
Email Address
<jcb@inf.ed.ac.uk>
Office,Telephone
IF-4.07, +44 (0) 131 650 5998
Informatics Research Reports
Personal Page


Home : People 

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