The Mathematics Genealogy Project

Home
Search
Extrema
About MGP
- Mission
- News
- Staff
- Recognition
- Acknowledgments
Links
FAQs
Posters
Submit Data
Mirrors
- NDSU (main)
- AMS
- Bielefeld
- IMPA

A service of the NDSU Department of Mathematics, in association with the American Mathematical Society.

Please email us with feedback.

Joseph Louis Bates

MathSciNet

Ph.D. Cornell University 1979

Dissertation: A Logic for Correct Program Development

Advisor 1: Robert Lee Constable
Advisor 2: Marvin Harry Solomon

Students:
Click here to see the students listed in chronological order.

Name	School	Year	Descendants
Aaron Loyall	Carnegie Mellon University	1997
Michael Mateas	Carnegie Mellon University	2002	1
William Reilly	Carnegie Mellon University	1996
James Sasaki	Cornell University	1986	1
Phoebe Sengers	Carnegie Mellon University	1998
Peter Weyhrauch	Carnegie Mellon University	1997

According to our current on-line database, Joseph Bates has 6 students and 8 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.