David R. Jefferson
Ph.D. Carnegie Mellon University 1980
Dissertation:
Type Reduction and Program Verification
Advisor: William Allan Wulf
Students:
Click
here to see the students listed in chronological order.
| Name | School | Year | Descendants |
|---|---|---|---|
| Chen, Li-Wen | University of California, Los Angeles | 1991 | |
| Cho, Sung | University of California, Los Angeles | 1995 | |
| Collins, Robert | University of California, Los Angeles | 1992 | |
| Goldberg, Arthur | University of California, Los Angeles | 1991 | 1 |
| Li, Kong | University of California, Los Angeles | 1995 | |
| Ravi, Thirumalai | University of California, Los Angeles | 1989 |
According to our current on-line database, David Jefferson has 6 students and 7 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 50109 for the advisor ID.