Robert Anthony Kowalski

MathSciNet

Ph.D. The University of Edinburgh 1970 UnitedKingdom
Dissertation: Studies in the Completeness and Efficiency of Theorem-Proving by Resolution
Mathematics Subject Classification: 68—Computer science

Advisor: Bernard Meltzer

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

NameSchoolYearDescendants
Hogger, ChristopherImperial College London19682
Warren, DavidThe University of Edinburgh1977
Clark, KeithImperial College London198017
Sergot, MarekImperial College London198017
Moss, ChristopherImperial College London1981
Pollard, GeorgeImperial College London1981
Eshghi, KaveImperial College London1986
Sadri, FaribaImperial College London19881
Frost, DavidImperial College London1990
Sripada, SuryanarayanaImperial College London1990
Toni, FrancescaImperial College London19953

According to our current on-line database, Robert Kowalski has 11 students and 51 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 127951 for the advisor ID.