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

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]