## 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.