Greg Nelson | |
|---|---|
| Born | Charles Gregory Nelson March 27, 1953 |
| Died | February 2, 2015 (aged 61) |
| Education | B.A., Harvard University (1976) Ph.D., Stanford University (1980) |
| Known for | Satisfiability modulo theories Extended static checking Program verification Modula-3 committee ESC/Java Simplify theorem prover |
| Awards | Herbrand Award (2013) |
| Scientific career | |
| Institutions | Xerox Palo Alto Research Center (PARC) Digital Equipment Corporation (DEC) Systems Research Center (SRC) Hewlett-Packard Labs |
| Thesis | Techniques for Program Verification (1980) |
| Doctoral advisor | Robert Tarjan |
Charles Gregory Nelson (27 March 1953 – 2 February 2015) was an American computer scientist.[1][2]