Vaughan Pratt - CaLiGraph

Property	Value
rdf:type	Theoretical computer scientist owl:NamedIndividual 1944 birth Fellow of the Association for Computing Machinery Living person People by Erdős number Philosopher born in the 20th century Stanford University alumnus University of Sydney people Old Knox Grammarians Australian computer scientist
rdfs:label	Vaughan Pratt
owl:sameAs	dbr:Vaughan_Pratt
prov:wasDerivedFrom	http://en.wikipedia.org/wiki/Category:1944_births http://en.wikipedia.org/wiki/Category:Fellows_of_the_Association_for_Computing_Machinery http://en.wikipedia.org/wiki/Category:Lists_of_living_people http://en.wikipedia.org/wiki/Category:Living_people http://en.wikipedia.org/wiki/Category:Stanford_University_alumni http://en.wikipedia.org/wiki/List_of_fellows_of_the_Association_for_Computing_Machinery http://en.wikipedia.org/wiki/List_of_living_people http://en.wikipedia.org/wiki/List_of_people_by_Erd%C5%91s_number http://en.wikipedia.org/wiki/List_of_philosophers_born_in_the_20th_century http://en.wikipedia.org/wiki/International_House,_The_University_of_Sydney http://en.wikipedia.org/wiki/List_of_Old_Knox_Grammarians http://en.wikipedia.org/wiki/Vaughan_(given_name) http://en.wikipedia.org/wiki/Category:Theoretical_computer_scientists http://en.wikipedia.org/wiki/Category:Australian_computer_scientists http://en.wikipedia.org/wiki/List_of_University_of_Sydney_people
skos:prefLabel	Vaughan Pratt
skos:altLabel	Pratt V. R. Pratt Vaughan R. Pratt
clgo:academicAdvisor	Donald Knuth
clgo:academicDiscipline	Computer science
clgo:birthDate	1944-04-12
clgo:birthName	Vaughan Ronald Pratt
clgo:birthPlace	Melbourne
clgo:birthYear	1944
clgo:institution	Massachusetts Institute of Technology Stanford University
clgo:knownFor	Primality certificate Operator-precedence parser Knuth–Morris–Pratt algorithm
clgo:nationality	Australians
is clgo:designer of	CGOL
is clgo:doctoralStudent of	Donald Knuth

About: clgr:Vaughan_Pratt