Research output per year
Research output per year
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.
- 1 Similar Profiles
-
Standard Croatian pitch-accents: fact and fiction
Pletikos Olof, E. & Bradfield, J., 7 Aug 2019, Proceedings of the 19th International Congress of Phonetic Sciences ICPhS 2019. Calhoun, S., Escudero, P., Tabain, M. & Warren, P. (eds.). Canberra, Australia: Australasian Speech Science and Technology Association Inc.: Australian Speech Science & Technology Association Inc, p. 855-858 5 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile -
Clicks, elements and concurrency
Bradfield, J., 20 Apr 2018, In: Toronto Working Papers in Linguistics. 40, 10 p.Research output: Contribution to journal › Article
Open AccessFile -
The mu-calculus and Model Checking
Bradfield, J. & Walukiewicz, I., Mar 2018, Handbook of Model Checking. Clarke, E., Henziger, T., Veith, H. & Bloem, R. (eds.). Springer, p. 871-919 49 p.Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review
-
The sound of a spherical cow
Bradfield, J., 1 Sept 2017, In: Phonology. 34, 2, p. 347-362 13 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
Preface: Papers in Historical Phonology
Honeybone, P., Bradfield, J., Fruehwald, J., Iosad, P., Molineaux Ress, B. & Ramsammy, M., 30 Nov 2016, In: Papers in Historical Phonology. 1, p. 1-4Research output: Contribution to journal › Editorial
Open AccessFile
-
Ensuring Liveness Properties of Distributed Systems with Justness
1/08/22 → 31/08/27
Project: Research
-
-
GAMES-Games and Automata for Sythesis and Validation of Computing Systems
1/10/02 → 30/09/06
Project: Research
-
-