Robert Lee Constable (born 1942) is an American computer scientist. He is a professor of
computer science and first and former dean of the
Faculty of Computing and Information Science at
Cornell University.
He is known for his work on connecting computer programs and
mathematical proofs, especially the
Nuprl system. Prior to Nuprl, he worked on the
PL/CV formal system and verifier.
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
Edmund Melson Clarke, Jr. (July 27, 1945 – December 22, 2020) was an American computer scientist and academic noted for developing model checking, a method for formally verifying hardware and software designs. He was the FORE Systems Professor ...
,
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 The International Summer School Marktoberdorf is an annual two-week summer school for international computer science and mathematics postgraduate students and other young researchers, held annually since 1970 in Marktoberdorf, near Munich in southe ...
.
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
Prentice Hall was an American major educational publisher owned by Savvas Learning Company. Prentice Hall publishes print and digital content for the 6–12 and higher-education market, and distributes its technical titles through the Safari B ...
, Engelwood Cliffs, NJ, 1986.
References
External links
Homepageat Department of Computing and Information Science, Cornell University
*
Living people
Place of birth missing (living people)
University of Wisconsin–Madison alumni
Cornell University faculty
American computer scientists
Fellows of the Association for Computing Machinery
1942 births
{{compu-scientist-stub