arrow grid linear view icon
Search

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)

Overview

Research Focus

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.

Keywords

 

Type theory and automated reasoning

Graduate Fields

  • Applied Mathematics
  • Computer Science
  • Mathematics