The Herbrand Award for Professor Melvin Fitting
Professor Melvin Fitting, who serves on the doctoral faculty in computer science, mathematics, and philosophy, was awarded the 2012 Herbrand Award for Distinguished Contributions to Automated Reasoning by the International Conference on Automated Deduction (CADE) in June.
Fitting was recognized for his "outstanding contributions to tableau-based theorem proving in classical and non-classical logics, as well as to many other areas of automated reasoning, logic programming, and philosophical logic."
CADE Inc. establised the award in 1992 to honor an individual or a group of individuals for exception contributions to the field of automated deductions.
Submitted on: NOV 7, 2012