Amy Felty
Ph.D. University of Pennsylvania 1989
Dissertation:
Implementing Theorem Provers in a Higher-Order Logic Programming Language
Advisor: Dale Allen Miller
Student:
| Name | School | Year | Descendants |
|---|---|---|---|
| Binard, Franck | University of Ottawa | 2009 |
According to our current on-line database, Amy Felty has 1 student and 1 descendant.
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 60893 for the advisor ID.