David R. Jefferson
Original record- Institution
- Carnegie Mellon University
- Year
- 1980
- Country
- United States
- MGP identifier
- 50109
Dissertation: Type Reduction and Program Verification
Advisor 1
- William Allan WulfInstitution not recorded
Students 6
| Name | Institution | Year | Students |
|---|---|---|---|
| Li-Wen Chen | University of California, Los Angeles | 1991 | 0 |
| Sung Hyun Cho | University of California, Los Angeles | 1995 | 0 |
| Robert James Collins | University of California, Los Angeles | 1992 | 0 |
| Arthur Paul Goldberg | University of California, Los Angeles | 1991 | 1 |
| Kong Li | University of California, Los Angeles | 1995 | 0 |
| Thirumalai Muppur Ravi | University of California, Los Angeles | 1989 | 0 |