Personal tools
You are here: Home People Academics Donald Sannella

Donald Sannella

Position: Professor
Role: Member
E-mail: dts@inf (add 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.


Document Actions