Robert Kowalski

Robert Kowalski
Born (1941-05-15) 15 May 1941 (age 83)
Bridgeport, Connecticut, U.S.
NationalityBritish
Alma materUniversity of Chicago
University of Bridgeport (BA)
Stanford University (MSc)
University of Warsaw
University of Edinburgh (PhD)
Known forLogic programming
Prolog
Horn clause
Event calculus
AwardsIJCAI Award for Research Excellence (2011)
Scientific career
FieldsLogic
Computer science
InstitutionsUniversity of Edinburgh
Imperial College London
ThesisStudies in the Completeness and Efficiency of Theorem-Proving by Resolution (1970)
Doctoral advisorBernard 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.[1] He has spent most of his career in the United Kingdom.

  1. ^ "Interview with Robert (Bob) Kowalski". Archives IT. Retrieved 3 August 2023.