| dbo:abstract
|
- Donald T. Sannella FRSE is professor of computer science in the Laboratory for Foundations of Computer Science, at the School of Informatics, University of Edinburgh, Scotland. Sannella graduated from Yale University, University of California, Berkeley and University of Edinburgh with degrees in computer science. His research interests include: algebraic specification and formal software development, correctness of , types and functional programming, for mobile code. Sannella is founder of the European Joint Conferences on Theory and Practice of Software, a confederation of computer science conferences, held annually in Europe since 1998.He is editor-in-chief of the journal Theoretical Computer Science, and is co-founder and CEO of Contemplate Ltd. His father is Ted Sannella. (en)
- 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:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 2318 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| dbp:wikiPageUsesTemplate
| |
| dcterms:subject
| |
| gold:hypernym
| |
| rdf:type
| |
| 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)
- Donald T. Sannella FRSE is professor of computer science in the Laboratory for Foundations of Computer Science, at the School of Informatics, University of Edinburgh, Scotland. Sannella graduated from Yale University, University of California, Berkeley and University of Edinburgh with degrees in computer science. His research interests include: algebraic specification and formal software development, correctness of , types and functional programming, for mobile code. (en)
|
| rdfs:label
|
- Don Sannella (es)
- Don Sannella (en)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:homepage
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:doctoralStudent
of | |
| is dbo:editor
of | |
| is dbo:wikiPageRedirects
of | |
| is dbo:wikiPageWikiLink
of | |
| is dbp:doctoralStudents
of | |
| is dbp:editor
of | |
| is foaf:primaryTopic
of | |
