David Andrew Naumann
Ph.D. University of Texas at Austin 1992
Dissertation:
Two-Categories and Program Structure: Data Types, Refinement Calculi, and Predicate Transformers
Advisor 1: Edsger Wybe Dijkstra
Advisor 2: C. A. R. (Tony) Hoare
Students:
Click
here to see the students ordered by family name.
| Name | School | Year | Descendants |
|---|---|---|---|
| Sun, Qi | Stevens Institute of Technology | 2007 | |
| Rosenberg, Stan | Stevens Institute of Technology | 2011 | |
| Tang, Chunyu | Stevens Institute of Technology | 2013 | |
| Chudnov, Andrey | Stevens Institute of Technology | 2015 | |
| Nikouei, Seyed Mohammad | Stevens Institute of Technology | 2019 |
According to our current on-line database, David Naumann has 5 students and 5 descendants.
We welcome any additional information.
If you have additional information or corrections regarding this mathematician, please use the update form. To submit students of this mathematician, please use the new data form, noting this mathematician's MGP ID of 45763 for the advisor ID.