Robert Kowalski
British computer scientist (born 1941) / From Wikipedia, the free encyclopedia
Dear Wikiwand AI, let's keep it short by simply answering these key questions:
Can you list the top facts and stats about Robert Kowalski?
Summarize this article for a 10 year old
SHOW ALL QUESTIONS
For the American medical journalist and author, see Robert E. Kowalski.
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.[1] He has spent most of his career in the United Kingdom.
Quick Facts Born, Nationality ...
Robert Kowalski | |
---|---|
Born | (1941-05-15) 15 May 1941 (age 83) 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 | |
Close