Rajeev Alur
Original record- Institution
- Stanford University
- Year
- 1991
- Country
- United States
- MGP identifier
- 118519
Dissertation: Techniques for Automatic Verification of Real-Time Systems
Mathematics Subject Classification: 68—Computer science
Advisor 1
- David L. DillCarnegie Mellon University · 1987
Students 20
| Name | Institution | Year | Students |
|---|---|---|---|
| Mikhail Bernadsky | University of Pennsylvania | 2008 | 0 |
| Sebastian Burckhardt | University of Pennsylvania | 2007 | 0 |
| Pavol Cerny | University of Pennsylvania | 2009 | 2 |
| Swarat Chaudhuri | University of Pennsylvania | 2007 | 0 |
| Loris D'Antoni | University of Pennsylvania | 2015 | 0 |
| Franjo Ivancic | University of Pennsylvania | 2003 | 0 |
| Kishor Jothimurugan | University of Pennsylvania | 2023 | 0 |
| Salvatore La Torre | University of Pennsylvania | 2001 | 1 |
| Michael McDougall | University of Pennsylvania | 2005 | 0 |
| Salar Moarref | University of Pennsylvania | 2016 | 0 |
| Wonhong Nam | University of Pennsylvania | 2007 | 0 |
| Mukund Raghothaman | University of Pennsylvania | 2017 | 0 |
| Lei Shi | University of Pennsylvania | 2022 | 0 |
| Nimit Singhania | University of Pennsylvania | 2018 | 0 |
| Caleb Stanford | University of Pennsylvania | 2022 | 0 |
| Aalok Thakkar | University of Pennsylvania | 2023 | 0 |
| Abhishek Udupa | University of Pennsylvania | 2016 | 0 |
| Bow-Yaw Wang | University of Pennsylvania | 2001 | 0 |
| Zijiang Yang | University of Pennsylvania | 2003 | 0 |
| Yifei Yuan | University of Pennsylvania | 2016 | 0 |