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. Clicks, elements and concurrency

    Research output: Contribution to journalArticle

  2. The mu-calculus and Model Checking

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

  3. The sound of a spherical cow

    Research output: Contribution to journalArticle

View all (39) »

Research projects

  1. Solving Parity Games and Mu-Calculi

    Project: Funded ProjectResearch

  2. GAMES

    Project: Funded ProjectResearch

  3. Computer Science Logic 2002

    Project: Funded ProjectResearch

View all (6) »

ID: 10599