Personal tools
You are here: Home People Academics Julian Bradfield

Julian Bradfield

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/

 

Document Actions