About: 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 de la Universidad de Edimburgo, Escocia. Sus investigaciones incluyen y métodos formales de desarrollo de software, correctitud de sistemas modulares, programación funcional, y certificación de recursos para . Es además editor en jefe de la revista científica Theoretical Computer Science.

Property	Value
dbo:abstract	Don Sannella es un informático teórico británico y académico del área de ciencias de la computación en el de la Universidad de Edimburgo, Escocia. Sus investigaciones incluyen y métodos formales de desarrollo de software, correctitud de sistemas modulares, programación funcional, y certificación de recursos para . Es además editor en jefe de la revista científica Theoretical Computer Science. (es) Don Sannella es un informático teórico británico y académico del área de ciencias de la computación en el de la Universidad de Edimburgo, Escocia. Sus investigaciones incluyen y métodos formales de desarrollo de software, correctitud de sistemas modulares, programación funcional, y certificación de recursos para . Es además editor en jefe de la revista científica Theoretical Computer Science. (es)
dbo:employer	dbpedia-es:Universidad_de_Edimburgo
dbo:wikiPageExternalLink	http://www.inf.ed.ac.uk/people/staff/Donald_Sannella.html http://homepages.inf.ed.ac.uk/dts/ http://homepages.inf.ed.ac.uk/dts/pub/SannellaDT.html
dbo:wikiPageID	2843183 (xsd:integer)
dbo:wikiPageLength	1387 (xsd:integer)
dbo:wikiPageRevisionID	128800552 (xsd:integer)
prop-es:conocidoPor	Editor en jefe de Theoretical Computer Science (es) Editor en jefe de Theoretical Computer Science (es)
prop-es:empleador	dbpedia-es:Universidad_de_Edimburgo
prop-es:nacionalidad	Británica (es) Británica (es)
prop-es:nombre	Don Sannella (es) Don Sannella (es)
prop-es:área	dbpedia-es:Ciencias_de_la_computación
dct:subject	category-es:Alumnado_de_la_Universidad_de_Edimburgo category-es:Nacidos_en_año_desconocido category-es:Profesores_de_la_Universidad_de_Edimburgo category-es:Informáticos_teóricos_del_Reino_Unido
rdf:type	owl:Thing foaf:Person dbo:Person dul:NaturalPerson schema:Person dul:Agent wikidata:Q215627 wikidata:Q24229398 wikidata:Q5 dbo:Agent
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 de la Universidad de Edimburgo, Escocia. Sus investigaciones incluyen y métodos formales de desarrollo de software, correctitud de sistemas modulares, programación funcional, y certificación de recursos para . Es además editor en jefe de la revista científica Theoretical Computer Science. (es) Don Sannella es un informático teórico británico y académico del área de ciencias de la computación en el de la Universidad de Edimburgo, Escocia. Sus investigaciones incluyen y métodos formales de desarrollo de software, correctitud de sistemas modulares, programación funcional, y certificación de recursos para . Es además editor en jefe de la revista científica Theoretical Computer Science. (es)
rdfs:label	Don Sannella (es) Don Sannella (es)
owl:sameAs	freebase:Don Sannella
prov:wasDerivedFrom	wikipedia-es:Don_Sannella?oldid=128800552&ns=0
foaf:homepage	http://www.inf.ed.ac.uk/people/staff/Donald_Sannella.html
foaf:isPrimaryTopicOf	wikipedia-es:Don_Sannella
foaf:name	Don Sannella (es) Don Sannella (es)
is owl:sameAs of	dbr:Don Sannella
is foaf:primaryTopic of	wikipedia-es:Don_Sannella