Robin Milner - CaLiGraph

Property	Value
rdf:type	Foreign associate of the National Academy of Engineering Formal methods person Academic of City, University of London Person from South Hams (district) owl:NamedIndividual 1934 birth 2010 death Academic of Swansea University Academic of the University of Edinburgh Alumnus of King's College, Cambridge Computer science writer Fellow of the Association for Computing Machinery Fellow of the Royal Society of Edinburgh Member of the French Academy of Sciences Person educated at Eton College Royal Engineers officer Stanford University person University of Cambridge people Member of the University of Cambridge Computer Laboratory British computer scientist Fellow of the British Computer Society Old Etonians born in the 20th century Pioneer in computer science Programming language designer Programming language researcher Fellow of the Royal Society elected in 1988
rdfs:label	Robin Milner
owl:sameAs	dbr:Robin_Milner
prov:wasDerivedFrom	http://en.wikipedia.org/wiki/City,_University_of_London http://en.wikipedia.org/wiki/School_of_Informatics,_University_of_Edinburgh http://en.wikipedia.org/wiki/Category:Members_of_the_University_of_Cambridge_Computer_Laboratory http://en.wikipedia.org/wiki/King's_Scholar http://en.wikipedia.org/wiki/2010_in_the_United_Kingdom http://en.wikipedia.org/wiki/Category:1934_births http://en.wikipedia.org/wiki/Category:2010_deaths http://en.wikipedia.org/wiki/Category:Academics_of_the_University_of_Edinburgh http://en.wikipedia.org/wiki/Category:Alumni_of_King's_College,_Cambridge http://en.wikipedia.org/wiki/Category:Computer_science_writers http://en.wikipedia.org/wiki/Category:Fellows_of_the_Association_for_Computing_Machinery 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: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:Members_of_the_French_Academy_of_Sciences http://en.wikipedia.org/wiki/Category:People_educated_at_Eton_College http://en.wikipedia.org/wiki/Category:Royal_Engineers_officers http://en.wikipedia.org/wiki/Deaths_in_March_2010 http://en.wikipedia.org/wiki/List_of_Stanford_University_people http://en.wikipedia.org/wiki/List_of_University_of_Cambridge_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/Turing_Award http://en.wikipedia.org/wiki/Category:Foreign_associates_of_the_National_Academy_of_Engineering http://en.wikipedia.org/wiki/Swansea_University http://en.wikipedia.org/wiki/2014_Special_Honours http://en.wikipedia.org/wiki/Category:Formal_methods_people http://en.wikipedia.org/wiki/1991_in_science http://en.wikipedia.org/wiki/Category:Academics_of_Swansea_University http://en.wikipedia.org/wiki/European_Association_for_Theoretical_Computer_Science http://en.wikipedia.org/wiki/SIGPLAN http://en.wikipedia.org/wiki/2010_in_science http://en.wikipedia.org/wiki/Category:British_computer_scientists http://en.wikipedia.org/wiki/Category:Fellows_of_the_British_Computer_Society http://en.wikipedia.org/wiki/Category:Programming_language_designers http://en.wikipedia.org/wiki/Category:Programming_language_researchers http://en.wikipedia.org/wiki/Distinguished_Fellow_of_the_British_Computer_Society http://en.wikipedia.org/wiki/List_of_Old_Etonians_born_in_the_20th_century http://en.wikipedia.org/wiki/List_of_pioneers_in_computer_science http://en.wikipedia.org/wiki/List_of_programming_language_researchers http://en.wikipedia.org/wiki/List_of_fellows_of_the_Royal_Society_elected_in_1988 http://en.wikipedia.org/wiki/Department_of_Computer_Science_and_Technology,_University_of_Cambridge http://en.wikipedia.org/wiki/Milner_(surname) http://en.wikipedia.org/wiki/Stanford_University_Computer_Science http://en.wikipedia.org/wiki/Category:People_from_South_Hams_(district) http://en.wikipedia.org/wiki/Category:Academics_of_City,_University_of_London
skos:prefLabel	Robin Milner
skos:altLabel	Milner A J Milner A. J. Robin E. Milner, FRS Arthur John Robin Gorell Milner Milner, Robin Robin Milner's
clgo:academicDiscipline	Computer science
clgo:almaMater	King's College, Cambridge
clgo:award	Distinguished Fellow of the British Computer Society Turing Award Royal Society of Edinburgh BCS, The Chartered Institute for IT Fellow of the Royal Society
clgo:birthDate	1934-01-13
clgo:birthName	Arthur John Robin Gorell Milner
clgo:birthPlace	Devon California Berkshire Edinburgh London Yealmpton England Plymouth
clgo:birthYear	1934
clgo:deathDate	2010-03-20
clgo:deathPlace	England Cambridge
clgo:deathYear	2010
clgo:doctoralStudent	Davide Sangiorgi Faron Moller Mads Tofte Chris Tofts
clgo:education	Eton College
clgo:institution	Swansea University
clgo:knownFor	ML (programming language) Logic for Computable Functions Calculus of communicating systems Π-calculus Type inference
clgo:location	Scotland
clgo:militaryUnit	Royal Engineers
clgo:type	Learned society
is clgo:designer of	ML (programming language)
is clgo:doctoralAdvisor of	Davide Sangiorgi Mads Tofte Alan Mycroft

About: clgr:Robin_Milner