Greg Nelson (computer scientist)

Greg Nelson
Born
Charles Gregory Nelson

(1953-03-27)March 27, 1953
DiedFebruary 2, 2015(2015-02-02) (aged 61)
EducationB.A., Harvard University (1976)
Ph.D., Stanford University (1980)
Known forSatisfiability modulo theories
Extended static checking
Program verification
Modula-3 committee
ESC/Java Simplify theorem prover
AwardsHerbrand Award (2013)
Scientific career
InstitutionsXerox Palo Alto Research Center (PARC)
Digital Equipment Corporation (DEC) Systems Research Center (SRC)
Hewlett-Packard Labs
ThesisTechniques for Program Verification (1980)
Doctoral advisorRobert Tarjan

Charles Gregory Nelson (27 March 1953 – 2 February 2015) was an American computer scientist.[1][2]

  1. ^ Perl, Sharon (February 2015). "Greg Nelson: 27 March 1953 – 2 February 2015". Palo Alto Online. Palo Alto, California. Retrieved 2021-04-15.
  2. ^ Perl, Sharon (March 4, 2015). "Greg Nelson". Honolulu Star-Advertiser: Obituaries. Honolulu, Hawaii. Retrieved 2021-04-15.