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.