Don Sannella
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".
Q82594
informático teórico
Concept
Q145
británico
LOC
Q54484838
académico
Concept
Q21198
ciencias de la computación
Concept
None
Laboratory for Foundations of Computer Science
UNK
Q160302
Universidad de Edimburgo
LOC
Q22
Escocia
LOC
None
especificaciones algebraicas
UNK
Q1049183
métodos formales
Concept
Q80993
desarrollo de software
Concept
Q5785968
sistemas modulares
UNK
Q193076
programación funcional
Concept
None
mobile code
UNK
Q5633421
revista científica
Concept
Q7782354
Theoretical Computer Science
MEDIA
Q5293472
Don Sannella
PER
occupation
country of citizenship
field of this occupation
located in the administrative territorial entity
country
instance of