Colin Stirling
Position
Professor
Roles
Associate Member of Institute for Communicating and Collaborative Systems
Member of Laboratory for Foundations of Computer Science
Research Interests
Models of concurrent computation, modal and temporal logics, verification of program properties.
Email Address
<cps@inf.ed.ac.uk>
Office,Telephone
IF-5.07, +44 (0) 131 650 5186
Informatics Research Reports
Personal Page


Home : People 

Please contact support with any comments or corrections.
Unless explicitly stated otherwise, all material is copyright The University of Edinburgh