Awards & Winners

John Alan Robinson

Date of Birth 1930
Place of Birth Yorkshire
(England, United Kingdom)
Nationality United Kingdom, United States of America
Also know as J. A. Robinson, John A. Robinson
Profession Mathematician, Journalist, Computer Scientist, Philosopher
John Alan Robinson is a philosopher, mathematician and computer scientist. He is University Professor Emeritus at Syracuse University, United States. Alan Robinson's major contribution is to the foundations of automated theorem proving and logic programming, using the resolution principle and unification. This enabled the efficient implementation of the Prolog logic programming language and theorem provers. Robinson received the 1996 Herbrand Award for Distinguished Contributions to Automated Reasoning.

Awards by John Alan Robinson

Check all the awards nominated and won by John Alan Robinson.