CaLiGraph
Formats
RDF
N-Triples
N3/Turtle
JSON
XML
CSV
OData
Atom
JSON
Microdata
JSON
HTML
Embedded
JSON
Turtle
Browse using
OpenLink Faceted Browser
OpenLink Structured Data Editor
LodLive Browser
LODmilla Browser
Sparql Endpoint
About:
clgr:
Gordon_Plotkin
Property
Value
rdf:
type
Formal methods person
Royal Society Wolfson Research Merit Award holder
owl:
NamedIndividual
1946 birth
Academic of the University of Edinburgh
Alumnus of the University of Edinburgh
British Jewish scientist
Cognitive scientist
Fellow of the Association for Computing Machinery
Fellow of the Royal Society of Edinburgh
International Congresses of Mathematicians Plenary and Invited Speakers
Jewish scientist
Living person
Member of Academia Europaea
University of Edinburgh people
British computer scientist
Fellow of the Royal Society elected in 1992
Programming language researcher
rdfs:
label
Gordon Plotkin
owl:
sameAs
dbr:
Gordon_Plotkin
prov:
wasDerivedFrom
http://en.wikipedia.org/wiki/School_of_Informatics,_University_of_Edinburgh
http://en.wikipedia.org/wiki/Programming_language_theory
http://en.wikipedia.org/wiki/Category:1946_births
http://en.wikipedia.org/wiki/Category:Academics_of_the_University_of_Edinburgh
http://en.wikipedia.org/wiki/Category:Alumni_of_the_University_of_Edinburgh
http://en.wikipedia.org/wiki/Category:Fellows_of_the_Royal_Society
http://en.wikipedia.org/wiki/Category:Fellows_of_the_Royal_Society_of_Edinburgh
http://en.wikipedia.org/wiki/Category:Jewish_scientists
http://en.wikipedia.org/wiki/Category:Lists_of_fellows_of_the_Royal_Society
http://en.wikipedia.org/wiki/Category:Lists_of_fellows_of_the_Royal_Society_by_year
http://en.wikipedia.org/wiki/Category:Lists_of_living_people
http://en.wikipedia.org/wiki/Category:Living_people
http://en.wikipedia.org/wiki/List_of_British_Jewish_scientists
http://en.wikipedia.org/wiki/List_of_Jewish_scientists
http://en.wikipedia.org/wiki/List_of_University_of_Edinburgh_people
http://en.wikipedia.org/wiki/List_of_computer_scientists
http://en.wikipedia.org/wiki/List_of_fellows_of_the_Association_for_Computing_Machinery
http://en.wikipedia.org/wiki/List_of_fellows_of_the_Royal_Society
http://en.wikipedia.org/wiki/List_of_fellows_of_the_Royal_Society_(health_and_human_sciences)
http://en.wikipedia.org/wiki/List_of_fellows_of_the_Royal_Society_A,_B,_C
http://en.wikipedia.org/wiki/List_of_fellows_of_the_Royal_Society_D,_E,_F
http://en.wikipedia.org/wiki/List_of_fellows_of_the_Royal_Society_G,_H,_I
http://en.wikipedia.org/wiki/List_of_fellows_of_the_Royal_Society_J,_K,_L
http://en.wikipedia.org/wiki/List_of_fellows_of_the_Royal_Society_M,_N,_O
http://en.wikipedia.org/wiki/List_of_fellows_of_the_Royal_Society_P,_Q,_R
http://en.wikipedia.org/wiki/List_of_fellows_of_the_Royal_Society_S,_T,_U,_V
http://en.wikipedia.org/wiki/List_of_fellows_of_the_Royal_Society_W,_X,_Y,_Z
http://en.wikipedia.org/wiki/List_of_fellows_of_the_Royal_Society_by_election_year
http://en.wikipedia.org/wiki/List_of_living_people
http://en.wikipedia.org/wiki/Category:Formal_methods_people
http://en.wikipedia.org/wiki/Category:Royal_Society_Wolfson_Research_Merit_Award_holders
http://en.wikipedia.org/wiki/Royal_Society_Wolfson_Research_Merit_Award
http://en.wikipedia.org/wiki/List_of_cognitive_scientists
http://en.wikipedia.org/wiki/Category:Members_of_Academia_Europaea
http://en.wikipedia.org/wiki/European_Association_for_Theoretical_Computer_Science
http://en.wikipedia.org/wiki/List_of_International_Congresses_of_Mathematicians_Plenary_and_Invited_Speakers
http://en.wikipedia.org/wiki/SIGPLAN
http://en.wikipedia.org/wiki/BCS_Lovelace_Medal
http://en.wikipedia.org/wiki/Category:British_computer_scientists
http://en.wikipedia.org/wiki/Category:Programming_language_researchers
http://en.wikipedia.org/wiki/List_of_fellows_of_the_Royal_Society_elected_in_1992
http://en.wikipedia.org/wiki/List_of_programming_language_researchers
skos:
prefLabel
Gordon Plotkin
skos:
altLabel
G. D. Plotkin
Gordon D. Plotkin.
Gordon David Plotkin
Plotkin's
clgo:
academicDiscipline
Computer science
Mathematics
Logic
clgo:
almaMater
University of Edinburgh
University of Glasgow
clgo:
award
Milner Award
Royal Society Wolfson Research Merit Award
European Association for Theoretical Computer Science
clgo:
birthDate
1946-09-09
clgo:
birthName
Gordon David Plotkin
clgo:
birthPlace
Edinburgh
Glasgow
clgo:
birthYear
1946
clgo:
doctoralAdvisor
Rod Burstall
Donald Michie
clgo:
doctoralStudent
Doug Gurr
Luca Cardelli
Philippa Gardner
Eugenio Moggi
Li Wei (computer scientist)
clgo:
knownFor
Programming Computable Functions
Unbounded nondeterminism
Domain theory
Operational semantics
clgo:
location
Scotland
clgo:
type
Learned society
is
clgo:
doctoralAdvisor
of
Luca Cardelli
Eugenio Moggi
Li Wei (computer scientist)
is
clgo:
doctoralStudent
of
Rod Burstall
Donald Michie