- Don Sannella
-
Don Sannella
Don Sannella Residencia 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
Categorías: Nacidos en ? | Informáticos teóricos del Reino Unido | Profesores del Reino Unido
Wikimedia foundation. 2010.