You are here
Robert L. Constable
Professor
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.