Don Sannella
Position
Professor
Roles
School RAE 2001 Co-ordinator
Member of Laboratory for Foundations of Computer Science
Research Interests
Algebraic specification and formal software development; correctness of modular systems; types nd functional programming; resource certification for mobile code.
Email Address
<dts@inf.ed.ac.uk>
Office,Telephone
IF-4.04, +44 (0) 131 650 5184
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