For his seminal contributions and pioneering research in type
theory, mating-based theorem proving, automated deduction
in higher-order logic, proof presentation, logic education and
his many other contributions to the field of automated reasoning

Presented at CADE-19
The Nineteenth International Conference on Automated Deduction

August 1, 2003      Ulrich Furbach        
                     President of CADE, Inc.