Robert Anthony Kowalski

MathSciNet


Ph.D. 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 London198012
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 London198013
Sripada, SuryanarayanaImperial College London1990
Toni, FrancescaImperial College London19953
Warren, DavidUniversity of Edinburgh1977

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