Robert Anthony Kowalski
Ph.D. The University of Edinburgh 1970
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.
| Name | School | Year | Descendants |
|---|---|---|---|
| Hogger, Christopher | Imperial College London | 1968 | 2 |
| Warren, David | The University of Edinburgh | 1977 | |
| Clark, Keith | Imperial College London | 1980 | 17 |
| Sergot, Marek | Imperial College London | 1980 | 17 |
| Moss, Christopher | Imperial College London | 1981 | |
| Pollard, George | Imperial College London | 1981 | |
| Eshghi, Kave | Imperial College London | 1986 | |
| Sadri, Fariba | Imperial College London | 1988 | 1 |
| Frost, David | Imperial College London | 1990 | |
| Sripada, Suryanarayana | Imperial College London | 1990 | |
| Toni, Francesca | Imperial College London | 1995 | 3 |
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.