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 listed in chronological order.

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

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.