Robert Kowalski

Emeritus Professor at Imperial College London

Robert Kowalski is a logician and computer scientist known for his work in automated theorem proving, logic programming, and the application of logic to legal reasoning. He has received numerous awards, including the IJCAI Award for Research Excellence.

Speaking History (1 events)