Robert "Bob" Anthony Kowalski (born May 15, 1941, in Bridgeport, Connecticut, USA) is a British logician and computer scientist, who has spent most of his career in the United Kingdom.
He was educated at the University of Chicago, University of Bridgeport (BA in mathematics, 1963), Stanford University (MSc in mathematics, 1966), University of Warsaw and the University of Edinburgh (PhD in computer science, 1970).
He was a research fellow at the U...
More
Robert "Bob" Anthony Kowalski (born May 15, 1941, in Bridgeport, Connecticut, USA) is a British logician and computer scientist, who has spent most of his career in the United Kingdom.
He was educated at the University of Chicago, University of Bridgeport (BA in mathematics, 1963), Stanford University (MSc in mathematics, 1966), University of Warsaw and the University of Edinburgh (PhD in computer science, 1970).
He was a research fellow at the University of Edinburgh (1970–75) and has been at Imperial College London since 1975, attaining a chair in Computational Logic in 1982 and becoming Emeritus Professor in 1999. He was inducted as a Fellow of the American Association for Artificial Intelligence in 1991, of the European Co-ordinating Committee for Artificial Intelligence in 1999, and the Association for Computing Machinery in 2001.
He began his research in the field of automated theorem proving, developing both SL-resolution with Donald Kuehner and the connection graph proof...
Less
