David Andrew Naumann
Original record- Institution
- University of Texas at Austin
- Year
- 1992
- Country
- United States
- MGP identifier
- 45763
Dissertation: Two-Categories and Program Structure: Data Types, Refinement Calculi, and Predicate Transformers
Advisors 2
- Charles Antony Richard (Tony) HoareInstitution not recorded
- Edsger Wybe DijkstraUniversiteit van Amsterdam · 1959
Students 6
| Name | Institution | Year | Students |
|---|---|---|---|
| Andrey Chudnov | Stevens Institute of Technology | 2015 | 0 |
| Seyed Mohammad Nikouei | University of Isfahan | 2012 | 0 |
| Giovanny Fernando Lucero Palma | Universidade Federal de Pernambuco, Recife | 2015 | 0 |
| Stan Rosenberg | Stevens Institute of Technology | 2011 | 0 |
| Qi Sun | Stevens Institute of Technology | 2007 | 0 |
| Chunyu Tang | Stevens Institute of Technology | 2013 | 0 |