You are here
Robert L. Constable
Type theory and automated reasoning
- Applied Mathematics
- Computer Science
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.