Stuart Anderson
Position
Senior Lecturer
Roles
Member of National e-Science Centre
Member of Laboratory for Foundations of Computer Science
Research Interests
Design and analysis of dependable systems, formal proof in systems development.
Email Address
<soa@inf.ed.ac.uk>
Office,Telephone
IF-3.46, +44 (0) 131 650 5191
Informatics Research Reports
Personal Page


Home : People 

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