World's Best Scientists 2026 revealed!

D-Index & Metrics

Computer Science

D-Index
32
Citations
5735
World Ranking
12995
National Ranking
829

Research.com Recognitions

  • 2014 - Fellow of the Royal Society of Edinburgh

Overview

Donald Sannella is affiliated with the University of Edinburgh in the United Kingdom. Their research is situated primarily in the field of Computer Science, with a focus on several subfields including Artificial Intelligence, Computational Theory and Mathematics, Computer Networks and Communications, Hardware and Architecture, and Software.

Their work encompasses a range of topics, notably:

  • Logic, programming, and type systems
  • Semigroups and automata theory
  • Logic, Reasoning, and Knowledge
  • Software Testing and Debugging Techniques
  • Parallel Computing and Optimization Techniques
  • Embedded Systems Design Techniques
  • Computability, Logic, AI Algorithms

Donald Sannella has contributed to various recent publications, including:

  • "ThreadSafe: Static Analysis for Java Concurrency" (2024), published by Technische Universität Berlin - Universitätsbibliothek
  • "Preface" (2020), published in Theoretical Computer Science
  • "Preface for the special issue in homage to Martin Hofmann Part 1" (2021), published in Mathematical Structures in Computer Science
  • "Preface for the special issue in homage to Martin Hofmann Part 2" (2022), published in Mathematical Structures in Computer Science
  • "Rod Burstall: In Memoriam" (2025), published in Formal Aspects of Computing

Frequent collaborators in their research include Michael Fourman, Haoran Peng, Philip Wadler, Jan Hoffmann, and Ulrich Schöpp.

Donald Sannella has published in several venues repeatedly. The main publication venues with multiple contributions are:

  • Mathematical Structures in Computer Science
  • Technische Universität Berlin - Universitätsbibliothek
  • Theoretical Computer Science
  • Formal Aspects of Computing

They have also authored book publications, including the title Introduction to Computation (2021), which is part of the Undergraduate Topics in Computer Science series.

Donald Sannella's work has been formally recognized with an award: they were named a Fellow of the Royal Society of Edinburgh in 2014.

Best Publications

  • HOPE: An experimental applicative language

    R. M. Burstall;D. B. MacQueen;D. T. Sannella

  • Specifications in an arbitrary institution

    Donald Sannella;Andrzej Tarlecki

  • CASL: the common algebraic specification language

    Egidio Astesiano;Michel Bidoit;Hélène Kirchner;Bernd Krieg-Brückner

  • Toward formal development of programs from algebraic specifications: implementations revisited

    D. Sannella;A. Tarlecki

  • Extended ML: Past, Present, and Future

    Donald Sannella;Andrzej Tarlecki

  • Mobile Resource Guarantees for smart devices

    David Aspinall;Stephen Gilmore;Martin Hofmann;Donald Sannella

  • A Kernel Language for Algebraic Specification and Implementation - Extended Abstract

    Donald Sannella;Martin Wirsing

  • Foundations of Algebraic Specification and Formal Software Development

    Donald Sannella;Andrzej Tarlecki

  • A Kernel Language for Algebraic Specification and Implementation.

    Donald Sannella;Martin Wirsing

  • On observational equivalence and algebraic specification

    Donald Sannella;Andrzej Tarlecki

  • Mobile resource guarantees for smart devices

    David Aspinall;Stephen Gilmore;Martin Hofmann;Donald Sannella

  • Essential concepts of algebraic specification and program development

    Donald Sannella;Andrzej Tarlecki;Andrzej Tarlecki

  • What does the future hold for theoretical computer science

    Donald Sannella

  • The definition of extended ML: a gentle introduction

    Stefan Kahrs;Donald Sannella;Andrzej Tarlecki

  • Toward formal development of programs from algebraic specifications: Parameterisation revisited

    Donald Sannella;Stefan Sokolowski;Andrzej Tarlecki

  • Architectural Specifications in CASL

    Michel Bidoit;Donald Sannella;Andrzej Tarlecki

  • Extended ML: an institution-independent framework for formal program development

    D Sannella;A Tarlecki

  • Toward formal development of ML programs: Foundations and methodology

    Donald Sannella;Andrzej Tarlecki

  • Structured Theories in LCF

    Donald Sannella;Rod M. Burstall

  • Structured Theory Presentations and Logic Representations

    Robert Harper;Donald Sannella;Andrzej Tarlecki

  • Unit testing for CASL architectural specifications

    Patricia D. L. Machado;Donald Sannella

Frequent Co-Authors

Martin Hofmann
Martin Hofmann Ludwig-Maximilians-Universität München
Stephen Gilmore
Stephen Gilmore University of Edinburgh
Martin Wirsing
Martin Wirsing Ludwig-Maximilians-Universität München
Robert Harper
Robert Harper Carnegie Mellon University
Vladimiro Sassone
Vladimiro Sassone University of Southampton
Ugo Montanari
Ugo Montanari University of Pisa
Giuseppe F. Italiano
Giuseppe F. Italiano Guido Carli Free International University for Social Studies
Hans-Jörg Kreowski
Hans-Jörg Kreowski University of Bremen
Alan Bundy
Alan Bundy University of Edinburgh
Ioannis Chatzigiannakis
Ioannis Chatzigiannakis Sapienza University of Rome

If you think any of the details on this page are incorrect, let us know.

Report an issue

We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:

Related Online Degrees & Career Pathways

Exploring Computer Science in the USA opens the door to numerous related online degrees and evolving career pathways. Today, industries increasingly value professionals with interdisciplinary skills, prompting many students to consider online programs that complement or expand on core computer science knowledge.

For example, an environmental engineering bachelor's degree online equips students to address sustainability challenges using computing. Those interested in technical design or manufacturing may opt for a mechanical engineering degree online cost comparison to find the best program for their budget.

Similarly, online physics degrees offer a strong analytical foundation—valuable for careers in data science, engineering, or research. If your goal is a tech-driven field, the cheapest data science degree listings can help you find cost-effective ways to gain in-demand data analytics skills.

Bridging these fields through online study can give you a versatile edge in the job market and help you build a specialized career that leverages expertise across technology, science, and engineering.

Best Scientists Citing Donald Sannella

Trending Scientists

Recently Published Articles