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 listed in chronological order.

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

According to our current on-line database, Robert Kowalski has 11 students and 46 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.