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. Standard Croatian pitch-accents: fact and fiction

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  2. Clicks, elements and concurrency

    Research output: Contribution to journalArticle

  3. The mu-calculus and Model Checking

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

View all (40) »

ID: 10599