Don Sannella

| nacionalidad = Británica | área = Ciencias de la computación | conocido por = Editor en jefe de Theoretical Computer Science | empleador = Universidad de Edimburgo }} 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''. proporcionado por Wikipedia