Sanjit Arunkumar Seshia


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

Advisor: Randal Everitt Bryant

Click here to see the students listed in chronological order.

Fremont, DanielUniversity of California, Berkeley2019
Jha, SusmitUniversity of California, Berkeley2011
Li, WenchaoUniversity of California, Berkeley2013
Sadigh, DorsaUniversity of California, Berkeley2017

According to our current on-line database, Sanjit Seshia has 4 students and 4 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.