Don Sannella

Don Sannella

Don Sannella

Don Sannella
Residencia Bandera de Escocia Escocia
Nacionalidad(es) Británica
Campo(s) Ciencias de la computación
Instituciones Universidad de Edimburgo
Conocido por Editor en jefe de Theoretical Computer Science

Don Sannella es un informático teórico británico y académico del área de ciencias de la computación en el Laboratory for Foundations of Computer Science de la Universidad de Edimburgo, Escocia. Sus investigaciones incluyen especificaciones algebraicas y métodos formales de desarrollo de software, correctitud de sistemas modulares, programación funcional, y certificación de recursos para mobile code. Es además editor en jefe de la revista científica Theoretical Computer Science.

Enlaces externos

Obtenido de "Don Sannella"

Wikimedia foundation. 2010.

Игры ⚽ Поможем сделать НИР

Mira otros diccionarios:

  • Don Sannella — Donald T. Sannella is Professor of Computer Science in the Laboratory for Foundations of Computer Science, School of Informatics, University of Edinburgh, Scotland. His research interests include: algebraic specification and formal software… …   Wikipedia

  • Extended ML — is a specification language created by Kahrs, Sannella and Tarlecki based on the ML programming language. It extends the syntax of ML to include axioms, which need not be executable but can rigorously specify the behavior of the program. With… …   Wikipedia

  • Extended ML — Saltar a navegación, búsqueda Extended ML es un lenguaje de programación creado por Kahrs, Sannella y Tarlecki basado en ML. Extiende la sintaxis de ML para incluir axiomas de semántica, los cuales pueden no ser ejecutables pero que sirven para… …   Wikipedia Español

  • University of Edinburgh School of Informatics — The School of Informatics is an academic unit of the University of Edinburgh, in Scotland, responsible for research, teaching, outreach and commercialisation in Informatics.It was created in 1998 from the former Department of Artificial… …   Wikipedia

  • Theoretical Computer Science (journal) — Infobox Journal title = Theoretical Computer Science discipline = Computer Science abbreviation = TCS publisher = Elsevier country = frequency = weekly history = 1975 to present openaccess = no website = http://www.elsevier.com/locate/tcs ISSN =… …   Wikipedia

  • Laboratory for Foundations of Computer Science — The Laboratory for Foundations of Computer Science (LFCS) is based in the School of Informatics at the University of Edinburgh, Scotland. It has an international reputation in theoretical computer science. Selected members Current *Julian… …   Wikipedia

  • Rod Burstall — Infobox Scientist image width = 150px name = Rod Burstall birth date = birth place = residence = Scotland, France nationality = British field = computer scientist work institution = University of Edinburgh alma mater = doctoral advisor = doctoral …   Wikipedia

  • Theoretical Computer Science — Idioma Inglés Categoría Revista científica Año de fundación 1975 Desarrollo Editor …   Wikipedia Español

  • Simonetti family — Simonetti Ethnicity Italian (Lombard) Information Earlier …   Wikipedia

  • Contra dance form — This article supplements the main contra dance article. Contra dance form describes the arrangement of dancers into contra dance sets and minor sets. There are various forms, and each dance s choreography specifies its formation. A caller s first …   Wikipedia

Compartir el artículo y extractos

Link directo
Do a right-click on the link above
and select “Copy Link”