Robert A. Kowalski
Robert A. Kowalski earned his Edinburgh doctorate in 1970, researched there until 1975, and moved to Imperial. He became professor of computational logic in 1982. Kowalski collaborated with Alain Colmerauer in Marseille in 1972. Kowalski contributed logical ideas. Colmerauer’s practical work led to the design and implementation of Prolog. His current research includes Logical English and an insurance-specific extension, InsurLE, for computable contract wording. His 2026 work includes using logic programming to teach logical thinking in the age of AI.
- Works
- 154
- Citations
- 12,055
- h-index
- 39
Publication numbers from OpenAlex, as of 14 October 2026.
Timeline
-
1970–1975
Computational logic career
Robert A. Kowalski earned his Edinburgh doctorate in 1970, researched there until 1975, and moved to Imperial. He became professor of computational logic in 1982.
-
1972
Logic as programming
Kowalski collaborated with Alain Colmerauer in Marseille in 1972. Kowalski’s logical ideas and Colmerauer’s practical work led to the design and implementation of Prolog.
-
2024–2026
Readable logical rules
His current research includes Logical English and an insurance-specific extension, InsurLE, for computable contract wording. His 2026 work includes using logic programming to teach logical thinking in the age of AI.
Sources and credits
Photo: Yongyuth Permpoontanalarp, via Wikimedia Commons. License: CC BY 3.0. Source: commons.wikimedia.org. Cropped to a square and resized. Ask us to remove or replace this photo.
.jpg){kind=link}