Don Sannella

Donald T. Sannella FRSE 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.[1]

gollark: It's called multiple personality disorder.

gollark: It does remote debugging for potatOS and not really updates any more.

gollark: It's a CONCEPT.

gollark: It also manages incident reports.

gollark: SPUDNET stands for Super PotatOS Update/Debug NETwork, but it fell victim to scope creep.

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.