William Michael Farmer
Ph.D. University of Wisconsin-Madison 1984
Dissertation:
Length of Proofs and Unification Theory
Advisor: Kenneth Kunen
Students:
Click
here to see the students ordered by family name.
| Name | School | Year | Descendants |
|---|---|---|---|
| Xu, Jian | McMaster University | 2008 | |
| Larjani, Pouya | McMaster University | 2013 | |
| Iancu, Mihnea | Jacobs University Bremen | 2017 | |
| Hu, Qian | McMaster University | 2018 | |
| Yao, Shucai | McMaster University | 2020 | |
| Sharoda, Yasmine | McMaster University | 2021 |
According to our current on-line database, William Farmer has 6 students and 6 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 9938 for the advisor ID.