Edinburgh Research Explorer

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.

Research outputs

  1. Preface: Papers in Historical Phonology

    Research output: Contribution to journalEditorial

  2. The sound of a spherical cow

    Research output: Contribution to journalArticle

View all (37) »

Research projects

  1. GAMES

    Project: Funded ProjectResearch

  2. Computer Science Logic 2002

    Project: Funded ProjectResearch

  3. Solving Parity Games and Mu-Calculi

    Project: Funded ProjectResearch

View all (6) »

ID: 10599