About: Greg Nelson (computer scientist)

Property	Value
dbo:award	dbr:Herbrand_Award
dbo:birthDate	1953-03-27 (xsd:date)
dbo:birthName	Charles Gregory Nelson (en)
dbo:description	американський науковець у галузі комп'ютерних технологій (uk) American computer scientist (en) അമേരിക്കൻ കമ്പ്യൂട്ടർ ശാസ്ത്രജ്ഞൻ (ml)
dbo:doctoralAdvisor	dbr:Robert_Tarjan
dbo:institution	dbr:HP_Labs dbr:Digital_Equipment_Corporation dbr:PARC_(company)
dbo:knownFor	dbr:Satisfiability_modulo_theories dbr:Extended_static_checking dbr:Modula-3 dbr:Formal_verification dbr:ESC/Java
dbo:wikiPageExternalLink	http://people.eecs.berkeley.edu/~necula/Papers/nelson-thesis.pdf
dbo:wikiPageWikiLink	dbc:2015_deaths dbc:American_computer_programmers dbc:American_computer_scientists dbc:Stanford_University_School_of_Engineering_alumni dbr:Satisfiability_modulo_theories dbc:Scientists_at_PARC_(company) dbr:Harvard_University dbr:First-order_logic dbr:Automated_theorem_proving dbr:Herbrand_Award dbr:Code_generation_(compiler) dbr:HP_Labs dbc:1953_births dbc:Harvard_University_alumni dbr:San_Francisco_Bay_Area dbr:Thread_(computing) dbr:Extended_static_checking dbr:Windowing_system dbc:20th-century_American_scientists dbc:21st-century_American_scientists dbc:Formal_methods_people dbc:Programming_language_designers dbc:Programming_language_researchers dbr:Programming_language dbr:List_of_programmers dbr:Honolulu dbr:Stanford_University dbr:Computer_scientist dbr:Robert_Tarjan dbr:Digital_Equipment_Corporation dbr:Modula-3 dbr:DEC_Systems_Research_Center dbr:PARC_(company) dbc:Scientists_from_Hawaii dbr:Juneau,_Alaska dbr:ESC/Java dbr:List_of_computer_scientists dbr:Term_algebra dbr:Program_verification dbr:Decision_procedure
dbp:awards	dbr:Herbrand_Award
dbp:birthDate	1953-03-27 (xsd:date)
dbp:birthName	Charles Gregory Nelson (en)
dbp:doctoralAdvisor	dbr:Robert_Tarjan
dbp:education	B.A., Harvard University (en) Ph.D., Stanford University (en)
dbp:knownFor	dbr:Satisfiability_modulo_theories dbr:Extended_static_checking dbr:Formal_verification ESC/Java Simplify theorem prover (en) Modula-3 committee (en)
dbp:name	Greg Nelson (en)
dbp:thesisTitle	Techniques for Program Verification (en)
dbp:thesisUrl	http://people.eecs.berkeley.edu/~necula/Papers/nelson-thesis.pdf
dbp:thesisYear	1980 (xsd:integer)
dbp:wikiPageUsesTemplate	dbt:Authority_control dbt:Reflist dbt:Infobox_scientist dbt:Birth_date dbt:Modula,_Oberon dbt:Death_date_and_age dbt:Short_description dbt:Blockquote
dbp:workplaces	dbr:HP_Labs dbr:Digital_Equipment_Corporation dbr:DEC_Systems_Research_Center dbr:PARC_(company)
dct:subject	dbc:2015_deaths dbc:American_computer_programmers dbc:American_computer_scientists dbc:Stanford_University_School_of_Engineering_alumni dbc:Scientists_at_PARC_(company) dbc:1953_births dbc:Harvard_University_alumni dbc:20th-century_American_scientists dbc:21st-century_American_scientists dbc:Formal_methods_people dbc:Programming_language_designers dbc:Programming_language_researchers dbc:Scientists_from_Hawaii
rdf:type	owl:Thing foaf:Person dbo:Person dul:NaturalPerson wikidata:Q19088 wikidata:Q215627 wikidata:Q5 wikidata:Q729 wikidata:Q901 dbo:Animal dbo:Eukaryote dbo:Species schema:Person
rdfs:label	Greg Nelson (computer scientist) (en)
owl:sameAs	yago-res:Greg Nelson (computer scientist) wikidata:Greg Nelson (computer scientist) https://dblp.org/pid/54/4359 http://viaf.org/viaf/14925184 dbpedia-global:Greg Nelson (computer scientist)
prov:wasDerivedFrom	wikipedia-en:Greg_Nelson_(computer_scientist)?oldid=1085279535&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Greg_Nelson_(computer_scientist)
foaf:name	Greg Nelson (en)
is dbo:wikiPageDisambiguates of	dbr:Greg_Nelson
is dbo:wikiPageRedirects of	dbr:Charles_Gregory_Nelson_(computer_scientist)
is dbo:wikiPageWikiLink of	dbr:Herbrand_Award dbr:List_of_programmers dbr:Modula-3 dbr:List_of_programming_language_researchers dbr:List_of_computer_scientists dbr:Greg_Nelson dbr:IFIP_Working_Group_2.3 dbr:List_of_people_associated_with_PARC dbr:Charles_Gregory_Nelson_(computer_scientist)
is foaf:primaryTopic of	wikipedia-en:Greg_Nelson_(computer_scientist)