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