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.

Qualifications

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

Biography

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.

Fingerprint

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.
  • 6 Similar Profiles

Network

Recent external collaboration on country level. Dive into details by clicking on the dots or
If you made any changes in Pure these will be visible here soon.