Sannella graduated from Yale University, University of California, Berkeley and University of Edinburgh with degrees in computer science. His research interests include: algebraic specification and formal software development, correctness of modular systems, types and functional programming, resource certification for mobile code.
Honours and awards
In 2014 Sannella was elected a Fellow of the Royal Society of Edinburgh.
- "Professor Donald Theodore Sannella FRSE - The Royal Society of Edinburgh". The Royal Society of Edinburgh. Retrieved 9 February 2018.