Robert Kowalski

From Wikipedia, the free encyclopedia

Robert Kowalski (born May 15, 1941 in Bridgeport, Connecticut, USA) is an American logician who has spent much of his career in the UK.

Robert Anthony Kowalski has been important in the development of logic programming, especially the programming language Prolog. He is also interested in legal reasoning.

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 then, attaining a chair in Computational Logic in 1982.

Since 1999, he has been Emeritus Professor of Computational Logic in the Department of Computing at Imperial.

[edit] See also

• Logic programming
• Prolog

[edit] External links

• Robert Kowalski's home page
• Biography (PDF)
• Biographical Essay