Somesh Jha
Original record- Institution
- Carnegie Mellon University
- Year
- 1996
- Country
- United States
- MGP identifier
- 50257
Dissertation: Symmetry and Induction in Model Checking
Advisor 1
- Edmund Melson Clarke, Jr.Cornell University · 1976
Students 9
| Name | Institution | Year | Students |
|---|---|---|---|
| Lorenzo De Carli | University of Wisconsin-Madison | 2016 | 0 |
| Matt Fredrikson | University of Wisconsin-Madison | 2015 | 5 |
| Vinod Ganapathy | University of Wisconsin-Madison | 2007 | 8 |
| Jonathon T. Giffin | University of Wisconsin-Madison | 2006 | 1 |
| William R. Harris | University of Wisconsin-Madison | 2014 | 0 |
| Alexander V. Mirgorodskiy | University of Wisconsin-Madison | 2006 | 0 |
| Shai A. Rubin | University of Wisconsin-Madison | 2006 | 0 |
| Randy David Smith | University of Wisconsin-Madison | 2009 | 0 |
| Xi Wu | University of Wisconsin-Madison | 2016 | 0 |