J. Strother Moore

MathSciNet


Ph.D. The University of Edinburgh 1973 UnitedKingdom
Dissertation: Computational Logic: Structure Sharing and Proof of Program Properties
Mathematics Subject Classification: 68—Computer science

Advisor: Rodney Martineau Burstall

Students:
Click here to see the students ordered by family name.

NameSchoolYearDescendants
Manolios, PanagiotisUniversity of Texas at Austin20012
Ray, SandipUniversity of Texas at Austin2005

According to our current on-line database, J. Moore has 2 students and 4 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 102545 for the advisor ID.