Donald T. Sannella

FRSE Fellowship of the Royal Society of Edinburgh (FRSE) is an award granted to individuals that the Royal Society of Edinburgh, Scotland's national academy of science and letters, judged to be "eminently distinguished in their subject". This soci ...

is professor of

computer science Computer science is the study of computation, automation, and information. Computer science spans theoretical disciplines (such as algorithms, theory of computation, information theory, and automation) to Applied science, practical discipli ...

in the

Laboratory for Foundations of Computer Science The Laboratory for Foundations of Computer Science (LFCS) is a research institute within the School of Informatics at the University of Edinburgh, in Scotland. It was founded in 1987 and is a community of theoretical computer scientists with i ...

, at the School of Informatics,

University of Edinburgh The University of Edinburgh ( sco, University o Edinburgh, gd, Oilthigh Dhùn Èideann; abbreviated as ''Edin.'' in post-nominals) is a public research university based in Edinburgh, Scotland. Granted a royal charter by King James VI in 15 ...

, Scotland. Sannella graduated from

Yale University Yale University is a private research university in New Haven, Connecticut. Established in 1701 as the Collegiate School, it is the third-oldest institution of higher education in the United States and among the most prestigious in the wo ...

University of California, Berkeley The University of California, Berkeley (UC Berkeley, Berkeley, Cal, or California) is a public land-grant research university in Berkeley, California. Established in 1868 as the University of California, it is the state's first land-grant u ...

and

with degrees in computer science. His research interests include:

algebraic specification Algebraic specification is a software engineering technique for formally specifying system behavior. It was a very active subject of computer science research around 1980. Overview Algebraic specification seeks to systematically develop more effic ...

and formal

software development Software development is the process of conceiving, specifying, designing, programming, documenting, testing, and bug fixing involved in creating and maintaining applications, frameworks, or other software components. Software development invol ...

, correctness of modular systems,

types Type may refer to: Science and technology Computing * Typing, producing text via a keyboard, typewriter, etc. * Data type, collection of values used for computations. * File type * TYPE (DOS command), a command to display contents of a file. * Typ ...

and

functional programming In computer science, functional programming is a programming paradigm where programs are constructed by Function application, applying and Function composition (computer science), composing Function (computer science), functions. It is a declar ...

, resource certification for

mobile code In distributed computing, code mobility is the ability for running programs, code or objects to be migrated (or moved) from one machine or application to another. This is the process of moving mobile code across the nodes of a network as opposed ...

. Sannella is founder of the

European Joint Conferences on Theory and Practice of Software The European Joint Conferences on Theory and Practice of Software (ETAPS) is a confederation of (currently) four computer science conferences taking place annually at one conference site, usually end of March or early April. Three of the four confe ...

, a confederation of computer science conferences, held annually in Europe since 1998. He is editor-in-chief of the journal ''

Theoretical Computer Science Theoretical computer science (TCS) is a subset of general computer science and mathematics that focuses on mathematical aspects of computer science such as the theory of computation, lambda calculus, and type theory. It is difficult to circumsc ...

'', and is co-founder and CEO o
Contemplate Ltd
His father is

Ted Sannella Ted Sannella (August 14, 1928 – November 18, 1995) was a professional square dance, contra dance and international folk dance caller and choreographer who was active in the region surrounding Boston, Massachusetts, in the United States. He ...

Honours and awards

In 2014 Sannella was elected a Fellow of the

Royal Society of Edinburgh The Royal Society of Edinburgh is Scotland's national academy of science and letters. It is a registered charity that operates on a wholly independent and non-partisan basis and provides public benefit throughout Scotland. It was established i ...

References

External links

Official home page

Personal home page

Year of birth missing (living people) Living people Scottish computer scientists 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 {{UK-compu-bio-stub