Computer Science Department
Ithaca, NY 14853
rc at cs dot cornell dot edu
vita photo gallery
University of Wisconsin Mathematics, Ph.D. 1968
University of Wisconsin Mathematics, M.A. 1965
Princeton University Mathematics, A.B. 1964
- 1999 - 2009
Dean of the Faculty of Computing and Information Science, Cornell University
- 1993 - 1999
Chair, Computer Science Department,
- 1978 - Present
Professor, Department of Computer Science,
- 1972 - 1978
Associate Professor, Department of Computer Science, Cornell University
- 1968 - 1972
Assistant Professor, Department of Computer Science, Cornell University
- 1968 - 1968
Instructor, Department of Computer Science,
University of Wisconsin
*Chapters in books
*Journal Articles (selected)
*Conference Proceedings (selected)
*Technical Reports and General Articles
*Can be viewed fully at Nuprl.org
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.
- The Computer Journal, Oxford University Press
- Journal of Logic and Computation, Oxford University Press
- Formal Methods in System Design,
Kluwer Academic Publishers
- Journal on Symbolic Computation, Oxford University Press
- Logical Methods in Computer Science, Creative Commons
- - Columbia University, Computer Science Department
- - Johns Hopkins University, Department of Computer Science
- - University of Michigan, School of Information
- - Princeton University Advisory Council for Computer Science
- - ACM Fellow (1994)
- - John Simon Guggenheim Fellowship (1990-1991)
- - Outstanding Educator Award (1987)
- Director NATO Summer School at Marktoberdorf (1988–2009)
- Elected member Computing Research Association (CRA) Board (2005–2008)
- General Chair, LICS (1991–1994)
- Association for Symbolic Logic, elected member of ASL Council (1995–1998)