Robert William Harper
Ph.D. Cornell University 1985
Dissertation:
Aspects of the Implementation of Type Theory
Mathematics Subject Classification: 68—Computer science
Advisor: Robert Lee Constable
Students:
Click
here to see the students listed in chronological order.
| Name | School | Year | Descendants |
|---|---|---|---|
| Acar, Umut | Carnegie Mellon University | 2005 | 4 |
| Agarwal, Ashish | Carnegie Mellon University | 2006 | |
| Angiuli, Carlo | Carnegie Mellon University | 2019 | |
| Cavallo, Evan | Carnegie Mellon University | 2021 | |
| Cheng, Perry | Carnegie Mellon University | 2001 | |
| Dreyer, Derek | Carnegie Mellon University | 2005 | 4 |
| Filinski, Andrzej | Carnegie Mellon University | 1996 | 3 |
| Hou, Kuen-Bang | Carnegie Mellon University | 2017 | |
| Licata, Daniel | Carnegie Mellon University | 2011 | |
| Lillibridge, Mark | Carnegie Mellon University | 1997 | |
| Morrisett, Gregory | Carnegie Mellon University | 1995 | 34 |
| Murphy VII, Tom | Carnegie Mellon University | 2008 | |
| Petersen, Leaf | Carnegie Mellon University | 2005 | |
| Pierce, Benjamin | Carnegie Mellon University | 1991 | 19 |
| Spoonhower, Daniel | Carnegie Mellon University | 2009 | |
| Sterling, Jonathan | Carnegie Mellon University | 2021 | |
| Stone, Christopher | Carnegie Mellon University | 2000 | |
| Tassarotti, Joseph | Carnegie Mellon University | 2019 |
According to our current on-line database, Robert Harper has 18 students and 82 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 50068 for the advisor ID.