Joseph Louis Bates
Ph.D. Cornell University 1979
Dissertation:
A Logic for Correct Program Development
Advisor 1: Robert Lee Constable
Students:
Click
here to see the students ordered by family name.
| Name | School | Year | Descendants |
|---|---|---|---|
| Sasaki, James | Cornell University | 1986 | 1 |
| Reilly, William | Carnegie Mellon University | 1996 | |
| Loyall, Aaron | Carnegie Mellon University | 1997 | |
| Weyhrauch, Peter | Carnegie Mellon University | 1997 | |
| Sengers, Phoebe | Carnegie Mellon University | 1998 | |
| Mateas, Michael | Carnegie Mellon University | 2002 | 4 |
According to our current on-line database, Joseph Bates has 6 students and 11 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 50061 for the advisor ID.