About Don Sannella
Born 1956. Don Sannella is a British computer scientist, engineer and university teacher.
Donald T. Sannella is professor of computer science in the Laboratory for Foundations of Computer Science, at the School of Informatics, University of Edinburgh, Scotland.
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.
Sannella is founder of the European Joint Conferences on Theory and Practice of Software, a confederation of computer science conferences, held annually in Europe since 1998. He is editor-in-chief of the journal Theoretical Computer Science, and is co-founder and CEO of Contemplate Ltd. His father is Ted Sannella.
Honours and awards In 2014 Sannella was elected a Fellow of the Royal Society of Edinburgh.
Donβt just read it β
keep it.
Full-length biographies made to live with: read them, listen on the way to work, watch them tonight.
- E-book
- Audio
- Video
Instant download Β· yours to keep Β· every purchase keeps this site free
Important facts
People in Don Sannella's life
Named in this biography and alive at the same time
Contemporaries
People whose lives overlapped Don Sannella's
Frequently asked questions
Who is Don Sannella?
British computer scientist
When was Don Sannella born?
Don Sannella was born in 1956.
What is Don Sannella's occupation?
Don Sannella is a computer scientist, engineer and university teacher.
What nationality is Don Sannella?
Don Sannella is British.
Sources & further reading
Cite this page
APA: Biography.guide. (2026). Don Sannella. https://biography.guide/don-sannella/
MLA: "Don Sannella." Biography.guide, https://biography.guide/don-sannella/.
Chicago: "Don Sannella." Biography.guide. https://biography.guide/don-sannella/.
Data last updated: 2026-09-20 Β· Spot an error? Report a correction.
Page generated 2026-09-27 05:19 UTC