Don Sannella
Personal Chair in Computer Science
Member of Laboratory for Foundations of Computer Science
Cohort Lead (Programme) of MSc (Computer Science)
Coordinator of Internships & Exchanges (Outgoing)
Member of REF Board Representative
Personal Tutor (half load) of Informatics UG/MSC Students
Project supervision of Honours Project
Project supervision of MSc Dissertation
Tutor of Half allocation (one group)
Research Interests
Algebraic specification and formal software development; correctness of modular systems; types and functional programming; resource certification for mobile code.
Email Address
IF-5.12, +44 (0) 131 650 5184
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:
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