Jennifer Widom
Original record- Institution
- Cornell University
- Year
- 1987
- Country
- United States
- MGP identifier
- 70979
Dissertation: Trace-Based Network Proof Systems: Expressiveness and Completeness
Mathematics Subject Classification: 68—Computer science
Advisor 1
- David GriesInstitution not recorded
Students 17
| Name | Institution | Year | Students |
|---|---|---|---|
| Parag Agrawal | Stanford University | 2012 | 0 |
| Arvind Arasu | Stanford University | 2006 | 0 |
| Shivnath Babu | Stanford University | 2005 | 2 |
| Elena Baralis | Politecnico di Torino | 1994 | 0 |
| Yingwei Cui | Stanford University | 2002 | 0 |
| Akash Das Sarma | Stanford University | 2017 | 0 |
| Anish Das Sarma | Stanford University | 2009 | 0 |
| Roy Goldman | Stanford University | 2000 | 0 |
| Ashish Gupta | Stanford University | 1995 | 0 |
| Robert Ikeda | Stanford University | 2012 | 0 |
| Jason George McHugh | Stanford University | 2000 | 0 |
| Christopher Olston | Stanford University | 2003 | 3 |
| Hyunjung Park | Stanford University | 2014 | 0 |
| Dallan Wendell Quass | Stanford University | 1997 | 0 |
| Semih Salihoglu | Stanford University | 2015 | 0 |
| Utkarsh Srivastava | Stanford University | 2006 | 0 |
| Jun Yang | Stanford University | 2001 | 12 |