| Contenidos de Wikipedia en español bajo licencia CC BY-SA 4.0 ⇔ Mapas de OpenStreetMap bajo licencia ODbL |
Don Sannella
De Hispanopedia
| Don Sannella | ||
|---|---|---|
| Información personal | ||
| Residencia | Escocia | |
| Nacionalidad | Británica | |
| Información profesional | ||
| Á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.
