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]
References
- ^ "Professor Donald Theodore Sannella FRSE - The Royal Society of Edinburgh". The Royal Society of Edinburgh. Retrieved 9 February 2018.
External links
- BLP articles lacking sources from April 2024
- All BLP articles lacking sources
- Use dmy dates from September 2017
- Use British English from September 2017
- Official website not in Wikidata
- Articles with ISNI identifiers
- Articles with VIAF identifiers
- Articles with BNF identifiers
- Articles with BNFdata identifiers
- Articles with GND identifiers
- Articles with J9U identifiers
- Articles with LCCN identifiers
- Articles with NKC identifiers
- Articles with PLWABN identifiers
- Articles with CINII identifiers
- Articles with DBLP identifiers
- Articles with MATHSN identifiers
- Articles with MGP identifiers
- Articles with SUDOC identifiers
- Year of birth missing (living people)
- Living people
- Scottish computer scientists
- Programming language researchers
- Programming language designers
- Alumni of the University of Edinburgh
- Academics of the University of Edinburgh
- Formal methods people
- Academic journal editors
- Place of birth missing (living people)
- Yale University alumni
- University of California alumni
- Fellows of the Royal Society of Edinburgh
- All stub articles
- Scottish scientist stubs
- British computer specialist stubs