This HTML5 document contains 223 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dbpedia-dehttp://de.dbpedia.org/resource/
dctermshttp://purl.org/dc/terms/
yago-reshttp://yago-knowledge.org/resource/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
n35https://global.dbpedia.org/id/
n18http://homepages.inf.ed.ac.uk/
umbel-rchttp://umbel.org/umbel/rc/
yagohttp://dbpedia.org/class/yago/
schemahttp://schema.org/
dbthttp://dbpedia.org/resource/Template:
n36https://orcid.org/
rdfshttp://www.w3.org/2000/01/rdf-schema#
n27http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#
freebasehttp://rdf.freebase.com/ns/
dbpedia-pthttp://pt.dbpedia.org/resource/
n29http://viaf.org/viaf/
n15http://commons.wikimedia.org/wiki/Special:FilePath/
dbpedia-fahttp://fa.dbpedia.org/resource/
n24http://www.w3.org/2006/03/wn/wn20/instances/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
dbpedia-ithttp://it.dbpedia.org/resource/
n20https://hdl.handle.net/1842/
wikipedia-enhttp://en.wikipedia.org/wiki/
dbpedia-frhttp://fr.dbpedia.org/resource/
dbchttp://dbpedia.org/resource/Category:
dbphttp://dbpedia.org/property/
provhttp://www.w3.org/ns/prov#
n28http://mg.dbpedia.org/resource/
xsdhhttp://www.w3.org/2001/XMLSchema#
goldhttp://purl.org/linguistics/gold/
wikidatahttp://www.wikidata.org/entity/
dbrhttp://dbpedia.org/resource/
n34https://dblp.org/pid/p/
n23http://d-nb.info/gnd/
n16http://data.bibliotheken.nl/id/thes/

Statements

Subject Item
dbr:Gordon_Plotkin
rdf:type
yago:Adult109605289 yago:Peer109626238 yago:Scholar110557854 yago:WikicatFellowsOfTheRoyalSocietyOfEdinburgh yago:Academician109759069 wikidata:Q5 yago:WikicatAcademicsOfTheUniversityOfEdinburgh umbel-rc:Scientist wikidata:Q901 yago:WikicatFellowsOfTheRoyalSociety dbo:Species yago:YagoLegalActor wikidata:Q729 yago:WikicatBritishComputerScientists yago:YagoLegalActorGeo yago:Alumnus109786338 yago:Object100002684 yago:Whole100003553 wikidata:Q215627 yago:Intellectual109621545 yago:Scientist110560637 yago:WikicatJewishScientists yago:Professional110480253 yago:Person100007846 yago:WikicatAlumniOfTheUniversityOfEdinburgh yago:ResearchWorker110523076 yago:WikicatProgrammingLanguageResearchers yago:Associate109816771 yago:WikicatFormalMethodsPeople yago:WikicatLivingPeople yago:CausalAgent100007347 owl:Thing yago:Organism100004475 yago:ComputerScientist109951070 yago:ComputerUser109951274 dbo:Animal dbo:Eukaryote n27:NaturalPerson yago:Colleague109935990 yago:LivingThing100004258 foaf:Person yago:PhysicalEntity100001930 wikidata:Q19088 schema:Person dbo:Scientist yago:Educator110045713 dbo:Person
rdfs:label
Gordon Plotkin Gordon Plotkin Gordon Plotkin Gordon Plotkin Gordon Plotkin
rdfs:comment
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. 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. 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. Gordon David Plotkin, né le 9 septembre 1946 à Glasgow, est un informaticien théoricien britannique. 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.
foaf:name
Gordon Plotkin
foaf:homepage
n18:gdp
dbp:name
Gordon Plotkin
foaf:depiction
n15:Gordon_Plotkin.jpg
dbo:birthPlace
dbr:Glasgow
dbp:birthPlace
Glasgow, Scotland
dbo:birthDate
1946-09-09
dcterms:subject
dbc:British_computer_scientists dbc:Formal_methods_people dbc:1946_births dbc:Alumni_of_the_University_of_Edinburgh dbc:Programming_language_researchers dbc:Royal_Society_Wolfson_Research_Merit_Award_holders dbc:British_Jews dbc:Members_of_Academia_Europaea dbc:Living_people dbc:Jewish_scientists dbc:Academics_of_the_University_of_Edinburgh dbc:Fellows_of_the_Royal_Society dbc:Fellows_of_the_Royal_Society_of_Edinburgh
dbo:wikiPageID
2671720
dbo:wikiPageRevisionID
1109396323
dbo:wikiPageWikiLink
dbc:Formal_methods_people dbr:Evaluation_strategy dbc:1946_births dbr:Power_domains dbr:Denotational_semantics dbr:Doug_Gurr dbr:University_of_Edinburgh dbr:Concurrency_theory dbr:University_of_Edinburgh_School_of_Informatics dbr:Fellow_of_the_Royal_Society dbr:Academia_Europæa dbr:Unbounded_nondeterminism dbr:Computer_science dbc:Royal_Society_Wolfson_Research_Merit_Award_holders dbc:British_Jews dbr:Li_Wei_(computer_scientist) dbc:Alumni_of_the_University_of_Edinburgh dbr:Laboratory_for_Foundations_of_Computer_Science dbc:Members_of_Academia_Europaea dbr:Royal_Society dbc:Programming_language_researchers dbr:Glasgow dbr:Mathematics dbr:Domain_theory dbr:Philippa_Gardner dbr:Donald_Michie dbr:University_of_Glasgow dbr:Lambda_calculus dbc:Living_people dbr:Robin_Milner dbr:Milner_Award dbc:Jewish_scientists dbr:Luca_Cardelli dbr:Royal_Society_Wolfson_Research_Merit_Award dbr:Eugenio_Moggi dbr:Operational_semantics dbr:Situation_theory dbc:Academics_of_the_University_of_Edinburgh dbr:Programming_Computable_Functions dbr:European_Association_for_Theoretical_Computer_Science dbr:Rod_Burstall dbr:Logic dbc:Fellows_of_the_Royal_Society dbc:Fellows_of_the_Royal_Society_of_Edinburgh dbr:Inductive_logic_programming dbr:Type_theory dbc:British_computer_scientists dbr:Fellow_of_the_Royal_Society_of_Edinburgh
dbo:wikiPageExternalLink
n20:6656 n18:gdp
owl:sameAs
dbpedia-de:Gordon_Plotkin n16:p322223776 wikidata:Q967536 dbpedia-fr:Gordon_Plotkin dbpedia-fa:گوردون_پلوتکین yago-res:Gordon_Plotkin n23:136873197 n28:Gordon_Plotkin n29:81146152 freebase:m.07wx5_ dbpedia-pt:Gordon_Plotkin dbpedia-it:Gordon_Plotkin n34:GordonDPlotkin n35:56oBJ n36:0000-0001-8496-6096
dbp:thesisTitle
Automatic methods of inductive inference
dbp:thesisUrl
n20:6656
dbp:thesisYear
1972
dbp:workInstitution
dbr:University_of_Edinburgh_School_of_Informatics dbr:University_of_Glasgow dbr:Laboratory_for_Foundations_of_Computer_Science dbr:University_of_Edinburgh
dbp:wikiPageUsesTemplate
dbt:Use_dmy_dates dbt:Milner_Award_laureates dbt:Authority_control dbt:Short_description dbt:When dbt:Fact dbt:Birth_date_and_age dbt:Post-nominals dbt:Infobox_scientist dbt:URL dbt:FRS_1992 dbt:Centred_pull_quote dbt:EngvarB
dbo:thumbnail
n15:Gordon_Plotkin.jpg?width=300
dbp:almaMater
dbr:University_of_Glasgow dbr:University_of_Edinburgh
dbp:awards
EATCS Award Royal Society Wolfson Research Merit Award Milner Award
dbp:birthDate
1946-09-09
dbp:birthName
Gordon David Plotkin
dbp:caption
At the MFCS 2005 conference
dbp:field
dbr:Logic dbr:Mathematics dbr:Computer_science
dbp:knownFor
dbr:Programming_Computable_Functions dbr:Unbounded_nondeterminism dbr:Domain_theory dbr:Operational_semantics
dbp:residence
Scotland
dbp:website
n18:gdp
dbo:abstract
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. Gordon David Plotkin, né le 9 septembre 1946 à Glasgow, est un informaticien théoricien britannique. 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. 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. Er ist für die Einführung der Strukturellen Operationellen Semantik (SOS, auch Small Step Semantics) in die Theorie der Programmiersprachen bekannt. Er befasst sich auch mit denotationeller Semantik, Typentheorie, Domänen-theoretische und kategorientheoretische Analyse in der Informatik, allgemeiner Beweistheorie, Semantik natürlicher Sprachen, Prozess-Kalküle und computergestützten Modellen in der Biologie und Chemie. 2014 erhielt er den EATCS-Award. Er ist Fellow der Royal Society (1992), Fellow der Royal Society of Edinburgh und Mitglied der Academia Europaea (1989). Er erhielt den Wolfson Research Merit Award und 2012 den Milner Award der Royal Society. 2011 erhielt er die Blaise-Pascal-Medaille, 2018 die Lovelace Medal. 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.
dbp:doctoralAdvisor
Rod Burstall Donald Michie
dbp:doctoralStudents
Philippa Gardner Lǐ Wèi Eugenio Moggi Doug Gurr Luca Cardelli
dbo:doctoralAdvisor
dbr:Rod_Burstall dbr:Donald_Michie
dbo:doctoralStudent
dbr:Philippa_Gardner dbr:Li_Wei_(computer_scientist) dbr:Doug_Gurr dbr:Luca_Cardelli dbr:Eugenio_Moggi
gold:hypernym
dbr:Scientist
schema:sameAs
n29:81146152
dbp:wordnet_type
n24:synset-scientist-noun-1
prov:wasDerivedFrom
wikipedia-en:Gordon_Plotkin?oldid=1109396323&ns=0
dbo:wikiPageLength
9945
dbo:birthName
Gordon David Plotkin
dbo:academicDiscipline
dbr:Mathematics dbr:Logic dbr:Computer_science
dbo:almaMater
dbr:University_of_Edinburgh dbr:University_of_Glasgow
dbo:award
dbr:Milner_Award dbr:Royal_Society_Wolfson_Research_Merit_Award dbr:European_Association_for_Theoretical_Computer_Science
dbo:knownFor
dbr:Unbounded_nondeterminism dbr:Programming_Computable_Functions dbr:Operational_semantics dbr:Domain_theory
foaf:isPrimaryTopicOf
wikipedia-en:Gordon_Plotkin