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 listed in chronological order.
| Name | School | Year | Descendants |
|---|---|---|---|
| Eades III, Harley | The University of Iowa | 2014 | |
| Fu, Peng | The University of Iowa | 2014 | |
| McCleeary, Ryan | The University of Iowa | 2019 | |
| Oe, Duck Ki | The University of Iowa | 2012 | |
| Westbrook, Edwin | Washington University in St. Louis | 2008 |
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.