Sanjit Seshia - The Mathematics Genealogy Project

Home
Search
Extrema
About MGP
- Mission
- History (PDF)
- Support Us
- News
- Staff
- Recognition
- Acknowledgments
Links
FAQs
Posters
Submit Data
Contact
Donate

A service of the NDSU Department of Mathematics, in association with the American Mathematical Society.

Sanjit Arunkumar Seshia

MathSciNet

Ph.D. Carnegie Mellon University 2005

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.

Name	School	Year
Fremont, Daniel	University of California, Berkeley	2019
Jha, Susmit	University of California, Berkeley	2011
Li, Wenchao	University of California, Berkeley	2013
Sadigh, Dorsa	University of California, Berkeley	2017

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.