Michael Dean Ernst

MathSciNet

Ph.D. University of Washington 2000 UnitedStates
Dissertation: Dynamically Discovering Likely Program Invariants

Advisor: David Samuel Notkin

Students:
Click here to see the students ordered by family name.

NameSchoolYearDescendants
McCamant, StephenMassachusetts Institute of Technology2008
Artzi, ShayMassachusetts Institute of Technology2009
Dietl, WernerETH Zürich2009
Kiezun, AdamMassachusetts Institute of Technology2009
Pacheco, CarlosMassachusetts Institute of Technology2009
Beschastnikh, IvanUniversity of Washington20131
Gordon, ColinUniversity of Washington2014
Muşlu, KıvançUniversity of Washington2015
Weitz, KonstantinUniversity of Washington2017
Pernsteiner, StuartUniversity of Washington2018
Panchekha, PavelUniversity of Washington2019
Woos, DouglasUniversity of Washington2019
Kellogg, MartinUniversity of Washington2022

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.