Edinburgh Research Explorer

Prof Colin Stirling

Personal Chair in Computation Theory

Research Interests

Models and calculi for concurrent computation, modal and temporal logics with fixed points and their applications to verification and description of program properties. Tools for Concurrency, the Edinburgh Concurrency Workbench.

Research outputs

  1. Proof Systems for Retracts in Simply Typed Lambda Calculus

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

  2. A Tableau Proof System with Names for Modal Mu-calculus

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

  3. A Proof System with Names for Modal Mu-calculus

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

View all (22) »

Research projects

  1. INFINITE STATE PROCESSES

    Project: Funded ProjectResearch

  2. APPLYING COMPOSITION THEOREMS

    Project: Funded ProjectResearch

  3. PUSHDOWN AUTOMATA AND GAME SEMATICS

    Project: Funded ProjectResearch

View all (4) »

ID: 11230