Donald T. Sannella is Professor of Computer Science in the Laboratory for Foundations of Computer Science, School of Informatics, University of Edinburgh, Scotland. His research interests include: algebraic specification and formal software development, correctness of modular systems, types and functional programming, resource certification for mobile code. He is editor-in-chief of the journal Theoretical Computer Science.
|This article on a computer specialist of the United Kingdom is a stub. You can help Wikipedia by expanding it.|
|This article about a British scientist is a stub. You can help Wikipedia by expanding it.|