Sanjit Arunkumar Seshia

MathSciNet


Ph.D. Carnegie Mellon University 2005 UnitedStates
Dissertation: Adaptive Eager Boolean Encoding for Arithmetic Reasoning in Verification

Advisor: Randal Everitt Bryant

Students:
Click here to see the students listed in chronological order.

NameSchoolYearDescendants
Fremont, DanielUniversity of California, Berkeley2019
Jha, SusmitUniversity of California, Berkeley2011
Li, WenchaoUniversity of California, Berkeley2013
Sadigh, DorsaUniversity of California, Berkeley2017
Vazquez-Chanlatte, MarcellUniversity of California, Berkeley2022

According to our current on-line database, Sanjit Seshia has 5 students and 5 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 92570 for the advisor ID.