Robert Lee Constable (born 1942) is an American computer scientist. He is a professor of

computer science Computer science is the study of computation, automation, and information. Computer science spans theoretical disciplines (such as algorithms, theory of computation, information theory, and automation) to practical disciplines (includin ...

and first and former dean of the Faculty of Computing and Information Science at

Cornell University Cornell University is a private statutory land-grant research university based in Ithaca, New York. It is a member of the Ivy League. Founded in 1865 by Ezra Cornell and Andrew Dickson White, Cornell was founded with the intention to ...

. He is known for his work on connecting computer programs and

mathematical proof A mathematical proof is an Inference, inferential Argument-deduction-proof distinctions, argument for a Proposition, mathematical statement, showing that the stated assumptions logically guarantee the conclusion. The argument may use other previo ...

s, especially the Nuprl system. Prior to Nuprl, he worked on the PL/CV formal system and verifier.

Alonzo Church Alonzo Church (June 14, 1903 – August 11, 1995) was an American mathematician, computer scientist, logician, philosopher, professor and editor who made major contributions to mathematical logic and the foundations of theoretical computer scie ...

was supervising the junior thesis of Robert while he was studying in

Princeton Princeton University is a private research university in Princeton, New Jersey. Founded in 1746 in Elizabeth as the College of New Jersey, Princeton is the fourth-oldest institution of higher education in the United States and one of the ni ...

. 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 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 Cambridge ( ) is a university city and the county town in Cambridgeshire, England. It is located on the River Cam approximately north of London. As of the 2021 United Kingdom census, the population of Cambridge was 145,700. Cambridge beca ...

, 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 ''Lecture Notes in Computer Science'' is a series of computer science books published by Springer Science+Business Media since 1973. Overview The series contains proceedings, post- proceedings, monographs, and Festschrift In academia, a ''F ...

135,

Springer-Verlag Springer Science+Business Media, commonly known as Springer, is a German multinational publishing company of books, e-books and peer-reviewed journals in science, humanities, technical and medical (STM) publishing. Originally founded in 1842 ...

, 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

Homepage
at 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