Sotabase

Career

· Editor-in-Chief, Theoretical Computer Science (journal)2001–2024
· Professor, University of Edinburgh1998–
· Reader, University of Edinburgh1989–1998
· Lecturer, University of Edinburgh1985–1989
· Researcher, University of Edinburgh1981–1985
· Founder, Contemplate Ltd
· PhD Student, Massachusetts Institute of Technology - Sloan School of Management
· MS in Computer Science, University of California at Berkeley
· Bachelor's degree, Yale University

Publications (139)

HOPE: An experimental applicative language
LISP Conference · 1980
451
cited
CASL: the Common Algebraic Specification Language
Theoretical Computer Science · 2002
280
cited
Specifications in an Arbitrary Institution
Information and Computation · 1988
268
cited
Mobile Resource Guarantees for Smart Devices
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices · 2004
245
cited
A Kernel Language for Algebraic Specification and Implementation
Algorithmic Decision Theory · 1983
213
cited
Extended ML: Past, Present, and Future
Algorithmic Decision Theory · 1990
206
cited
Foundations of Algebraic Specification and Formal Software Development
Monographs in Theoretical Computer Science. An EATCS Series · 2012
199
cited
On Observational Equivalence and Algebraic Specification
TAPSOFT, Vol.1 · 1985
187
cited
The Definition of Extended ML: A Gentle Introduction
Theoretical Computer Science · 1997
99
cited
Unit Testing for CASL Architectural Specifications
International Symposium on Mathematical Foundations of Computer Science · 2002
93
cited
Toward formal development of programs from algebraic specifications: Implementations revisited
Acta Informatica · 1988
91
cited
Extended ML: An Institution-Independent Framework for Formal Program Development
Algorithmic Decision Theory · 1985
83
cited
Structured Theories in LCF
Colloquium on Trees in Algebra and Programming · 1983
79
cited
Toward Formal Development of ML Programs: Foundations and Methodology (Extended Abstract)
TAPSOFT, Vol.2 · 1989
79
cited
A Calculus for the Construction of Modular Prolog Programs
The Journal of Logic Programming · 1987
78
cited
Essential concepts of algebraic specification and program development
Formal Aspects of Computing · 1997
74
cited
Under Consideration for Publication in Formal Aspects of Computing Architectural Specifications in Casl
69
cited
Algebraic Preliminaries
Algebraic Foundations of Systems Specification · 1999
66
cited
Program specification and development in standard ML
ACM-SIGACT Symposium on Principles of Programming Languages · 1985
58
cited
Structured Theory Presentations and Logic Representations
Annals of Pure and Applied Logic · 1994
57
cited
Sotabase
Don Sannella | Researcher Profile | Sotabase | Sotabase