Personal tools
You are here: Home People Academics Colin Stirling

Colin Stirling

Position: Professor
Role: Member
E-mail: cps@staffmail (add .ed.ac.uk for real email)
Office(s): IF-5.07
Phone(s): (+44 131 6)505186
Research Interests: Models of concurrent computation, modal and temporal logics, verification of program properties.
Homepage: http://www.dcs.ed.ac.uk/~cps/
Document Actions