Don Sannella
 |
Donald T. Sannella
School of Informatics, University of Edinburgh
, Scotland.
Sannella graduated from
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
| |||||||||
| Programming tools | |||||||||
| Theorem provers, proof assistants | |||||||||
| Designers |
|---|
Book 
Category:Family:ML Category:Family:OCaml Category:Software:OCaml| International | |
|---|---|
| National | |
| Academics | |
| Other | |
  | This biographical article about a Scottish scientist is a stub. You can help Wikipedia by expanding it. |
 | This article on a computer specialist of the United Kingdom is a stub. You can help Wikipedia by expanding it. |