arrow grid linear view icon
The College of Arts Sciences
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)

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.

Courses