Aaron David Stump
Ph.D. Stanford University 2002
Dissertation:
Checking Validities and Proofs with CVC and Flea
Advisor: David L. Dill
Students:
Click
here to see the students ordered by family name.
| Name | School | Year | Descendants |
|---|---|---|---|
| Westbrook, Edwin | Washington University in St. Louis | 2008 | |
| Oe, Duck Ki | The University of Iowa | 2012 | |
| Eades III, Harley | The University of Iowa | 2014 | |
| Fu, Peng | The University of Iowa | 2014 | |
| McCleeary, Ryan | The University of Iowa | 2019 |
According to our current on-line database, Aaron Stump has 5 students and 5 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 75397 for the advisor ID.