If you made any changes in Pure these will be visible here soon.

Personal profile

Research Interests

Modal and temporal logics, model-checking, concurrency, independence logics, descriptive complexity and set theory, UML and modelling languages.


BA Mathematics, 1985, Cambridge University
Diploma in Computer Science, 1987, Cambridge University.
PhD Computer Science, 1991, University of Edinburgh


After reading Mathematics at Cambridge, I came to Edinburgh for doctoral study in the theory of verification with temporal logics. After a short post-doctoral appointment, I joined the teaching staff at Edinburgh, interrupted by an EPRSC fellowship in 1997-2002.

My research is mostly in the areas touching on temporal logics, which range from philosophical logic to descriptive set theory. The core of my computer science research is the study of fixpoint logics. I also work in linguistics, specifically in phonology and African linguistics.


Dive into the research topics where Julian Bradfield is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles

Collaborations and top research areas from the last five years

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or