About: Gordon Plotkin

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

About: Gordon Plotkin Goto Sponge NotDistinct Permalink

An Entity of Type : umbel-rc:Scientist, within Data Space : dbpedia.demo.openlinksw.com associated with source document(s)

Type:

http://dbpedia.demo.openlinksw.com/describe/?url=http%3A%2F%2Fdbpedia.org%2Fresource%2FGordon_Plotkin

Gordon David Plotkin, FRS FRSE MAE (born 9 September 1946) is a theoretical computer scientist in the School of Informatics at the University of Edinburgh. Plotkin is probably best known for his introduction of structural operational semantics (SOS) and his work on denotational semantics. In particular, his notes on A Structural Approach to Operational Semantics were very influential. He has contributed to many other areas of computer science.

Attributes	Values
rdf:type	Thing foaf:Person person dul:NaturalPerson Eukaryote Person Human Animal yago:WikicatBritishComputerScientists animal eukaryote scientist species schema:Person yago:WikicatLivingPeople Scientist yago:Academician109759069 yago:Adult109605289 yago:Alumnus109786338 yago:Associate109816771 yago:CausalAgent100007347 yago:Colleague109935990 yago:ComputerScientist109951070 yago:ComputerUser109951274 yago:Educator110045713 yago:Intellectual109621545 yago:LivingThing100004258 yago:Object100002684 yago:Organism100004475 yago:Peer109626238 yago:Person100007846 yago:PhysicalEntity100001930 yago:Professional110480253 yago:ResearchWorker110523076 yago:WikicatJewishScientists yago:YagoLegalActor yago:YagoLegalActorGeo yago:Scholar110557854 yago:Scientist110560637 yago:Whole100003553 yago:WikicatAcademicsOfTheUniversityOfEdinburgh yago:WikicatAlumniOfTheUniversityOfEdinburgh yago:WikicatFellowsOfTheRoyalSociety yago:WikicatFellowsOfTheRoyalSocietyOfEdinburgh yago:WikicatFormalMethodsPeople yago:WikicatProgrammingLanguageResearchers umbel-rc:Scientist
rdfs:label	Gordon Plotkin (en) Gordon Plotkin (de) Gordon Plotkin (fr) Gordon Plotkin (it) Gordon Plotkin (pt)
rdfs:comment	Gordon David Plotkin, FRS FRSE MAE (born 9 September 1946) is a theoretical computer scientist in the School of Informatics at the University of Edinburgh. Plotkin is probably best known for his introduction of structural operational semantics (SOS) and his work on denotational semantics. In particular, his notes on A Structural Approach to Operational Semantics were very influential. He has contributed to many other areas of computer science. (en) Gordon David Plotkin, né le 9 septembre 1946 à Glasgow, est un informaticien théoricien britannique. (fr) Gordon D. Plotkin (Glasgow, 9 settembre 1946) è un informatico scozzese. Sviluppò la semantica operazionale strutturale ed ha lavorato anche sulla semantica denotazionale. In particolare, le sue note su A Structural Approach to Operational Semantics del 1981 furono molto influenti. (it) Gordon David Plotkin, FRS, FRSE (Glasgow, 9 de setembro de 1946) é um cientista da computação britânico, professor da da Universidade de Edimburgo. Plotkin é provavelmente mais conhecido por sua introdução da semântica operacional estrutural (em inglês: structural operational semantics (SOS)) e seu trabalho sobre semântica denotacional. Em particular, suas notas sobre A Structural Approach to Operational Semantics foram de muita influência. Contribuiu para muitas outras áreas da ciência da computação. (pt) Gordon David Plotkin (* 9. September 1946 in Glasgow) ist ein britischer theoretischer Informatiker.Plotkin studierte an der Universität Glasgow und der University of Edinburgh mit dem Bachelor-Abschluss 1967 und der Promotion in Informatik bei (* 1934) 1972 (Automatic methods of inductive inference). Er wurde Professor in Edinburgh, wo er mit Burstall und Robin Milner das Labor für Grundlagen der Informatik (Laboratory for Foundations of Computer Science, LFCS) gründete. (de)
foaf:name	Gordon Plotkin (en)
foaf:homepage	http://homepages.inf.ed.ac.uk/gdp
name	Gordon Plotkin (en)
foaf:depiction
birth place	Glasgow
birth place	Glasgow, Scotland (en)
birth date	1946-09-09 (xsd:date)
dcterms:subject	Programming language researchers Royal Society Wolfson Research Merit Award holders Alumni of the University of Edinburgh Living people 1946 births Academics of the University of Edinburgh Fellows of the Royal Society Fellows of the Royal Society of Edinburgh British Jews Jewish scientists British computer scientists Members of Academia Europaea Formal methods people
Wikipage page ID	2671720 (xsd:integer)
Wikipage revision ID	1109396323 (xsd:integer)
Link from a Wikipage to another Wikipage	Programming language researchers Programming Computable Functions Robin Milner Rod Burstall Royal Society Royal Society Wolfson Research Merit Award Power domains Denotational semantics Royal Society Wolfson Research Merit Award holders Unbounded nondeterminism University of Edinburgh University of Edinburgh School of Informatics University of Glasgow Inductive logic programming Alumni of the University of Edinburgh Living people Mathematics Glasgow Laboratory for Foundations of Computer Science Operational semantics Li Wei (computer scientist)

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, 60 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software