Greg Nelson (computer scientist)

Property	Value
rdf:type	Person associated with PARC Scientist at PARC (company) All My Child cast members Formal methods person owl:NamedIndividual 1953 birth 2015 death American computer scientist Athlete Harvard University alumnus Living person Person in sports Sportsperson Scientist from Hawaii American computer programmer 20th-century American scientist 21st-century American scientist Programmer Programming language designer Programming language researcher
rdfs:label	Greg Nelson (computer scientist)
owl:sameAs	dbr:Greg_Nelson_(computer_scientist)
prov:wasDerivedFrom	http://en.wikipedia.org/wiki/Category:American_computer_programmers http://en.wikipedia.org/wiki/Category:Scientists_at_PARC_(company) http://en.wikipedia.org/wiki/List_of_people_associated_with_PARC http://en.wikipedia.org/wiki/1979_Louisiana_gubernatorial_election http://en.wikipedia.org/wiki/Category:1953_births http://en.wikipedia.org/wiki/Category:2015_deaths http://en.wikipedia.org/wiki/Category:American_computer_scientists http://en.wikipedia.org/wiki/Category:Harvard_University_alumni http://en.wikipedia.org/wiki/List_of_computer_scientists http://en.wikipedia.org/wiki/Music_of_North_Dakota http://en.wikipedia.org/wiki/Category:Formal_methods_people http://en.wikipedia.org/wiki/7_(David_Meece_album) http://en.wikipedia.org/wiki/List_of_All_My_Children_cast_members http://en.wikipedia.org/wiki/Category:Scientists_from_Hawaii http://en.wikipedia.org/wiki/Herbrand_Award http://en.wikipedia.org/wiki/1986_San_Jose_mayoral_election http://en.wikipedia.org/wiki/The_Ultimate_Fighter:_Team_Lesnar_vs._Team_dos_Santos http://en.wikipedia.org/wiki/2013%E2%80%9314_Florida_A&M_Rattlers_basketball_team http://en.wikipedia.org/wiki/Anastasia_Pittman http://en.wikipedia.org/wiki/Category:20th-century_American_scientists http://en.wikipedia.org/wiki/Category:21st-century_American_scientists http://en.wikipedia.org/wiki/Category:Programming_language_designers http://en.wikipedia.org/wiki/Category:Programming_language_researchers http://en.wikipedia.org/wiki/List_of_programmers http://en.wikipedia.org/wiki/List_of_programming_language_researchers http://en.wikipedia.org/wiki/Nelson_(surname) http://en.wikipedia.org/wiki/National_Photographic_Portrait_Prize
skos:prefLabel	Greg Nelson (computer scientist)
skos:altLabel	Greg Nelson C. Greg Nelson
clgo:almaMater	Harvard University
clgo:award	Herbrand Award
clgo:birthDate	1953-03-27
clgo:birthName	Charles Gregory Nelson
clgo:birthPlace	Hawaii
clgo:birthYear	1953
clgo:deathYear	2015
clgo:doctoralAdvisor	Robert Tarjan
clgo:institution	Digital Equipment Corporation HP Labs PARC (company)
clgo:knownFor	Extended static checking Modula-3 Satisfiability modulo theories Formal verification ESC/Java
clgo:occupation	Programmer

About: clgr:Greg_Nelson_(computer_scientist)