Fellow
United States – 2000
CITATION

Played a major role in the development of theory proving and automated deduction through seminal research and an influential book on the subject.