International Conference on Automated Deduction (CADE)
Herbrand Award for Distinguished Contributions to Automated Reasoning
Robert L. Constable
in recognition of his pioneering research in automated reasoning, such as his seminal contributions to the foundations of computational type theory; the creation of Nuprl, the first constructive type theory based theorem prover; the development of the correct-by-construction programming paradigm; and their applications to verification and synthesis of computer systems, including distributed computing.
The 7th International Joint Conference on Automated Reasoning
July 19, 2014
Maria Paola Bonacina
President of CADE Inc.