Skip to main content

more options

Robert L. Constable


Computer Science Department
Cornell University
4149 Upson Hall
Ithaca, NY 14853
rc at cs dot cornell dot edu
(607) 255.9204

vita                         photo gallery


University of Wisconsin Mathematics, Ph.D. 1968
University of Wisconsin Mathematics, M.A. 1965
Princeton University Mathematics, A.B. 1964



*Chapters in books
*Journal Articles (selected)
*Conference Proceedings (selected)
*Technical Reports and General Articles

*Can be viewed fully at

PhD students

Student List

Robert L. Constable heads the Nuprl research group in automated reasoning and software verification, and joined the Cornell faculty in 1968. He has supervised over forty PhD students in computer science, including the very first graduate of the CS department. 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. Professor Constable is a graduate of Princeton University where he worked with Alonzo Church, one of the pioneers of computer science.

Professor Constable stepped down as the Dean of the Faculty of Computing and Information Science at Cornell University, serving from 1999 - 2009. CIS is a college-level unit created to advance Cornell’s academic and research initiative in computing and information science. Professor Constable was formerly chairman of Cornell’s Computer Science Department for six years.

Professional Activities