Don Sannella

De Wikipedia, la enciclopedia libre
Saltar a: navegación, búsqueda
Don Sannella
Información personal
Nacimiento Siglo XX Ver y modificar los datos en Wikidata
Residencia Escocia
Nacionalidad Británica
Educación
Alma máter
Información profesional
Área Ciencias de la computación
Conocido por Editor en jefe de Theoretical Computer Science
Empleador Universidad de Edimburgo
[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]