John Henry Reif
Original record- Institution
- Harvard University
- Year
- 1977
- Country
- United States
- MGP identifier
- 78668
Dissertation: Combinatorial Aspects of Symbolic Program Analysis
Mathematics Subject Classification: 68—Computer science
Advisor 1
- Harry Roy LewisHarvard University · 1974
Students 20
| Name | Institution | Year | Students |
|---|---|---|---|
| Deganit Armon | Duke University | 1997 | 0 |
| Salman Azhar | Duke University | 1993 | 0 |
| Harish Chandran | Duke University | 2012 | 0 |
| Shenfeng Chen | Duke University | 1996 | 0 |
| Nikhil Gopalkrishnan | Duke University | 2012 | 0 |
| Zhiyong Li | Duke University | 1996 | 0 |
| Urmi Majumdern | Not recorded | — | 0 |
| Tassos Markas | Duke University | 1993 | 0 |
| Lars Siegfried Nyland | Duke University | 1991 | 0 |
| Sanguthevar Rajasekaran | Harvard University | 1988 | 2 |
| Sudheer Sahu | Duke University | 2007 | 0 |
| Sandeep Sen | Duke University | 1989 | 0 |
| Samuel Slee | Duke University | 2010 | 0 |
| Paul George Spirakis | Harvard University | 1982 | 4 |
| Peter Su | Dartmouth College | 1994 | 0 |
| Zhung (Robert) Sun | Duke University | 2003 | 0 |
| Stephen R. Tate | Duke University | 1991 | 0 |
| Hongyan Wang | Duke University | 1996 | 0 |
| Peng Yin | Duke University | 2005 | 0 |
| Akitoshi Yoshida | Duke University | 1994 | 0 |