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.
Escribe un comentario o lo que quieras sobre Don Sannella (directo, no tienes que registrarte)
Comentarios
(de más nuevos a más antiguos)