Sorin Lerner
Ph.D. University of Washington 2006
Dissertation:
Automatically Proving the Correctness of Program Analyses and Transformation
Advisor: Craig David Chambers
Students:
Click
here to see the students listed in chronological order.
| Name | School | Year | Descendants |
|---|---|---|---|
| Tate, Ross | University of California, San Diego | 2012 | 2 |
| Tatlock, Zachary | University of California, San Diego | 2013 | 10 |
According to our current on-line database, Sorin Lerner has 2 students and 14 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 66244 for the advisor ID.