Personal tools
You are here: Home People Academics Donald Sannella

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/

 

Document Actions