Michael Dean Ernst
Ph.D. University of Washington 2000
Dissertation:
Dynamically Discovering Likely Program Invariants
Advisor: David Samuel Notkin
Students:
Click
here to see the students ordered by family name.
| Name | School | Year | Descendants |
|---|---|---|---|
| McCamant, Stephen | Massachusetts Institute of Technology | 2008 | |
| Artzi, Shay | Massachusetts Institute of Technology | 2009 | |
| Dietl, Werner | ETH Zürich | 2009 | |
| Kiezun, Adam | Massachusetts Institute of Technology | 2009 | |
| Pacheco, Carlos | Massachusetts Institute of Technology | 2009 | |
| Beschastnikh, Ivan | University of Washington | 2013 | 1 |
| Gordon, Colin | University of Washington | 2014 | |
| Muşlu, Kıvanç | University of Washington | 2015 | |
| Weitz, Konstantin | University of Washington | 2017 | |
| Pernsteiner, Stuart | University of Washington | 2018 | |
| Panchekha, Pavel | University of Washington | 2019 | |
| Woos, Douglas | University of Washington | 2019 | |
| Kellogg, Martin | University of Washington | 2022 |
According to our current on-line database, Michael Ernst has 13 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 71839 for the advisor ID.