Don Sannella

De Wikipedia, la enciclopedia libre
Saltar a: navegación, búsqueda
Don Sannella
Residencia Bandera de Escocia Escocia
Nacionalidad Británica
Campo Ciencias de la computación
Instituciones Universidad de Edimburgo
Conocido por Editor en jefe de Theoretical Computer Science
[editar datos en Wikidata]

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[editar]