Information for current:


 
Colin Stirling
Position
Personal Chair in Computation Theory
Roles
Associate Member of Institute for Language, Cognition and Computation
Member of Laboratory for Foundations of Computer Science
Course/Year Org. of UG2 Courses
Director of Academic Staff Recruitment & Development
Director of Teaching
Research Interests
Models of concurrent computation, modal and temporal logics, verification of program properties.
Email Address
<cps@staffmail.ed.ac.uk>
Office,Telephone
IF-5.07, +44 (0) 131 650 5186
Informatics Research Reports
Publications - Edinburgh Research Explorer
Personal Page


Home : People 

Informatics Forum, 10 Crichton Street, Edinburgh, EH8 9AB, Scotland, UK
Tel: +44 131 651 5661, Fax: +44 131 651 1426, E-mail: school-office@inf.ed.ac.uk
Database generated page, please contact us with any comments or corrections. Logging and Cookies
Unless explicitly stated otherwise, all material is copyright © The University of Edinburgh