Greg Nelson (computer scientist)
American computer scientist / From Wikipedia, the free encyclopedia
Dear Wikiwand AI, let's keep it short by simply answering these key questions:
Can you list the top facts and stats about Greg Nelson (computer scientist)?
Summarize this article for a 10 year old
SHOW ALL QUESTIONS
Charles Gregory Nelson (27 March 1953 – 2 February 2015) was an American computer scientist.[1][2]
Quick Facts Born, Died ...
Greg Nelson | |
---|---|
Born | Charles Gregory Nelson (1953-03-27)March 27, 1953 |
Died | February 2, 2015(2015-02-02) (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 |
Close