You are here
Robert L. Constable
Professor
Bill and Melinda Gates Hall, Room 320
rlc7@cornell.edu
607-255-9188
Educational Background
Ph.D. (1968) University of Wisconsin
Website(s)
Keywords
Type theory and automated reasoning
Graduate Fields
- Applied Mathematics
- Computer Science
- Mathematics
Research
Robert Constable heads the Nuprl research group in automated reasoning and software verification. He is known for his work connecting programs and mathematical proofs, which has led to new ways of automating the production of reliable software. He has written three books on this topic as well as numerous research articles.