Greg Nelson (computer scientist)

Property	Value
rdf:type	Programmer Programming language designer Scientist from Hawaii Xerox person All My Child cast members American computer programmer owl:NamedIndividual 1953 birth 2015 death Member of the Hawaii House of Representatives Person from Hawaii \u067e\u0631\u062c\u0627\u062a\u06cc\u0648\u06ba 1950s birth 2010s death 20th-century American person 20th-century American scientist 20th-century North American person 20th-century birth 20th-century person 20th-century scientist 21st-century American person 21st-century American scientist 21st-century North American person 21st-century death 21st-century person 21st-century scientist 2nd-millennium birth 2nd-millennium person 3rd-millennium person Accident Alumnus Alumnus in Massachusetts Alumnus in North America American computer scientist American engineer American person American scientist Animal Athlete Birth Civil event Computer programmer Computer scientist Death Designer Engineer Eukaryote Event Formal methods person Harvard University alumnus Living person Member of bicameral legislatures Member of lower houses Member of state lower houses in the United States Member of the Hawaii Legislature Modern person North American person North American scientist Oceanian person Person Person associated with places Person associated with technology Person in STEM fields Person in sports Person in technology Person in the United States Person of the Americas Programming language researcher Scholar or academic Scientist Specie Sportsperson Transport accident or incident Person associated with PARC Scientist at PARC (company)
rdfs:label	Greg Nelson (computer scientist)
owl:sameAs	dbr:Greg_Nelson_(computer_scientist)
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	HP Labs PARC (company) Digital Equipment Corporation
clgo:knownFor	Formal verification Extended static checking Modula-3 Satisfiability modulo theories ESC/Java
clgo:occupation	Programmer
prov:wasDerivedFrom	http://en.wikipedia.org/wiki/7_(David_Meece_album) 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/1986_San_Jose_mayoral_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/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/Category:American_computer_programmers http://en.wikipedia.org/wiki/National_Photographic_Portrait_Prize http://en.wikipedia.org/wiki/1979_Louisiana_gubernatorial_election http://en.wikipedia.org/wiki/Herbrand_Award http://en.wikipedia.org/wiki/List_of_All_My_Children_cast_members http://en.wikipedia.org/wiki/Music_of_North_Dakota 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/The_Ultimate_Fighter:_Team_Lesnar_vs._Team_dos_Santos http://en.wikipedia.org/wiki/Category:Scientists_from_Hawaii http://en.wikipedia.org/wiki/Nelson_(surname) http://en.wikipedia.org/wiki/Category:Formal_methods_people
skos:prefLabel	Greg Nelson (computer scientist)
skos:altLabel	Greg Nelson C. Greg Nelson

About: clgr:Greg_Nelson_(computer_scientist)