Sanjit Arunkumar Seshia
Original record- Institution
- Carnegie Mellon University
- Year
- 2005
- Country
- United States
- MGP identifier
- 92570
Dissertation: Adaptive Eager Boolean Encoding for Arithmetic Reasoning in Verification
Advisor 1
- Randal Everitt BryantMassachusetts Institute of Technology · 1981
Students 5
| Name | Institution | Year | Students |
|---|---|---|---|
| Daniel Juon Fremont | University of California, Berkeley | 2019 | 0 |
| Susmit Jha | University of California, Berkeley | 2011 | 0 |
| Wenchao Li | University of California, Berkeley | 2013 | 0 |
| Dorsa Sadigh | University of California, Berkeley | 2017 | 1 |
| Marcell Vazquez-Chanlatte | University of California, Berkeley | 2022 | 0 |