Don Sannella
Personal Chair Person
Informatics
The University of Edinburgh
United Kingdom
Biography
Don Sannella Position PERSONAL CHAIR IN COMPUTER SCIENCE Roles Member of Laboratory for Foundations of Computer Science
Research Interest
Algebraic specification and formal software development; correctness of modular systems; types and functional programming; resource certification for mobile code.
Publications
-
Entailment for Structured Specifications
-
On normal forms for structured specifications with generating constraints
-
Specification refinements: calculi, tools, and applications
