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.

Campos
rdfs:comment
  • 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. (es)
Conocido Por
  • Editor en jefe de Theoretical Computer Science (es)
dbpedia-owl:field
foaf:homepage
Institución De Trabajo
foaf:isPrimaryTopicOf
dbpedia-owl:knownFor
rdfs:label
  • Don Sannella (es)
Nacionalidad
  • Británica (es)
foaf:name
  • Don Sannella (es)
Nombre
  • Don Sannella (es)
Is foaf:primaryTopic of
dcterms:subject
rdf:type
prov:wasDerivedFrom
dbpedia-owl:wikiPageExternalLink
dbpedia-owl:wikiPageID
  • 2843183 (xsd:integer)
dbpedia-owl:wikiPageLength
  • 1431 (xsd:integer)
dbpedia-owl:wikiPageOutDegree
  • 21 (xsd:integer)
dbpedia-owl:wikiPageRevisionID
  • 65236790 (xsd:integer)
prop-latam:wikiPageUsesTemplate
dbpedia-owl:wikiPageWikiLink [18 values]
Is dbpedia-owl:wikiPageWikiLink of