Robert Kowalski
Robert Kowalski | |
|---|---|
| Born | 15 May 1941 Bridgeport, Connecticut, U.S. |
| Nationality | British |
| Alma mater | University of Chicago University of Bridgeport (BA) Stanford University (MSc) University of Warsaw University of Edinburgh (PhD) |
| Known for | Logic programming Prolog Horn clause Event calculus |
| Awards | IJCAI Award for Research Excellence (2011) |
| Scientific career | |
| Fields | Logic Computer science |
| Institutions | University of Edinburgh Imperial College London |
| Thesis | Studies in the Completeness and Efficiency of Theorem-Proving by Resolution (1970) |
| Doctoral advisor | Bernard Meltzer |
| Doctoral students | |
Robert Anthony Kowalski (born 15 May 1941) is an American-British logician and computer scientist, whose research is concerned with developing both human-oriented models of computing and computational models of human thinking. He has spent most of his career in the United Kingdom.