About: Don Sannella

Facets (new session)
Description
Metadata
Settings
- Rule:
- Inverse Functional Properties:
- "Same As":

About: Don Sannella Goto Sponge NotDistinct Permalink

An Entity of Type : yago:WikicatFormalMethodsPeople, within Data Space : dbpedia.org associated with source document(s)

Type:

http://dbpedia.org/describe/?url=http%3A%2F%2Fdbpedia.org%2Fresource%2FDon_Sannella

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.

Attributes	Values
rdf:type	Thing person yago:WikicatBritishAcademics yago:WikicatBritishComputerScientists yago:WikicatBritishInformationTheorists scientist yago:WikicatLivingPeople yago:Academician109759069 yago:Adult109605289 yago:CausalAgent100007347 yago:ComputerScientist109951070 yago:ComputerUser109951274 yago:Editor110044879 yago:Educator110045713 yago:Intellectual109621545 yago:LivingThing100004258 yago:Object100002684 yago:Organism100004475 yago:Person100007846 yago:PhysicalEntity100001930 yago:Professional110480253 yago:Worker109632518 yago:YagoLegalActor yago:YagoLegalActorGeo yago:Scientist110560637 yago:SkilledWorker110605985 yago:Theorist110706812 yago:Whole100003553 yago:WikicatAcademicJournalEditors yago:WikicatAcademicsOfTheUniversityOfEdinburgh yago:WikicatFormalMethodsPeople
rdfs:label	Don Sannella (es) Don Sannella (en)
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)
foaf:homepage	http://www.inf.ed.ac.uk/people/staff/Donald_Sannella.html
dcterms:subject	Alumni of the University of Edinburgh Living people Place of birth missing (living people) Year of birth missing (living people) Academic journal editors Academics of the University of Edinburgh Fellows of the Royal Society of Edinburgh Yale University alumni University of California alumni Formal methods people Scottish computer scientists
Wikipage page ID	2818080 (xsd:integer)
Wikipage revision ID	955027479 (xsd:integer)
Link from a Wikipage to another Wikipage	Algebraic specification University of California, Berkeley University of Edinburgh University of Edinburgh School of Informatics Alumni of the University of Edinburgh Living people Place of birth missing (living people) Year of birth missing (living people) Mobile code Laboratory for Foundations of Computer Science Computer science Functional programming Datatype Theoretical Computer Science (journal) Academic journal editors Academics of the University of Edinburgh Fellows of the Royal Society of Edinburgh Yale University alumni Formal methods University of California alumni Formal methods people Scottish computer scientists Software development Yale University Royal Society of Edinburgh Ted Sannella European Joint Conferences on Theory and Practice of Software FRSE dbr:Modular_system dbr:Resource_certification
Link from a Wikipage to an external page	http://www.inf.ed.ac.uk/people/staff/Donald_Sannella.html http://www.contemplateltd.com http://homepages.inf.ed.ac.uk/dts/ http://homepages.inf.ed.ac.uk/dts/pub/SannellaDT.html
sameAs	Don Sannella Don Sannella Don Sannella Don Sannella Don Sannella Don Sannella Don Sannella Don Sannella Don Sannella Don Sannella Don Sannella
dbp:wikiPageUsesTemplate	dbt:Authority_control dbt:Use_British_English dbt:Use_dmy_dates dbt:Scotland-scientist-stub dbt:UK-compu-bio-stub
has 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)

Faceted Search & Find service v1.17_git139 as of Feb 29 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 08.03.3330 as of Mar 19 2024, on Linux (x86_64-generic-linux-glibc212), Single-Server Edition (378 GB total memory, 56 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software