[an error occurred while processing this directive] An error occured whilst processing this directive

Donald Sannella

Position:Professor
Role:Member
E-mail:dts@inf (add .ed.ac.uk for real email)
Office(s):IF-4.04
Phone(s):(+44 131 6)505184
Research Interests:Algebraic specification and formal software development; correctness of modular systems; types and functional programming; resource certification for mobile code.
Homepage:http://www.dcs.ed.ac.uk/~dts/

This page is generated from the School of Informatics Database. If you think that some information is incorrect, please contact the database administrator.

An error occured whilst processing this directive