Greg Nelson (Informatiker)
Greg Nelson | |
|---|---|
| Geboren | Charles Gregory Nelson 27. März 1953 |
| Ist gestorben | 2. Februar 2015 (61 Jahre) |
| Bekannt für | Erfüllbarkeits-Modulo-Theorien , erweiterte statische Prüfung , Programmverifikation , |
| Auszeichnungen | Herbrand-Preis (2010) |
Charles Gregory „ Greg “ Nelson (27. März 1953 – 2. Februar 2015) war ein US-amerikanischer Informatiker .