Robert Lee Constable

Robert Lee Constable
Born1942
CitizenshipUnited States
Alma materPrinceton University, University of Wisconsin–Madison
Known forNuprl
Scientific career
FieldsComputer Science
InstitutionsCornell University
Doctoral advisorStephen Kleene
Other academic advisorsAlonzo Church
Doctoral studentsAllan Borodin
Edmund M. Clarke
Robert Harper
Kurt Mehlhorn
Steven Muchnick
Pavel Naumov

Robert Lee Constable (born 1942) is an American computer scientist. He is a professor of computer science and first and former dean of the department at Cornell University, United States. He is known for his work on connecting computer programs and mathematical proofs, especially the Nuprl system. Alonzo Church was supervising the junior thesis of Robert while he was studying in Princeton. Constable received his PhD in 1968 under Stephen Kleene and has supervised over 40 students, including Edmund M. Clarke, Robert Harper, Kurt Mehlhorn, Steven Muchnick, Pavel Naumov, and Ryan Stansifer. He is a Fellow of the Association for Computing Machinery.

Constable has been a director of the Marktoberdorf Summer School.

Selected publications

  • R. L. Constable and M. J. O'Donnell. A Programming Logic, Winthrop, Cambridge, 1978.
  • R. L. Constable, S. D. Johnson and C. D. Eichenlaub. An Introduction to the PL/CV2 Programming Logic. In Lecture Notes in Computer Science 135, Springer-Verlag, 1982
  • PRL Group. Implementing Mathematics with the Nuprl Proof Development System. Prentice-Hall, Engelwood Cliffs, NJ, 1986.



This page was last updated at 2022-10-25 14:25 UTC. Update now. View original page.

All our content comes from Wikipedia and under the Creative Commons Attribution-ShareAlike License.


Top

If mathematical, chemical, physical and other formulas are not displayed correctly on this page, please useFirefox or Safari