Robert Lee Constable

Updated on Nov 28, 2023

Edit

Comment

Citizenship USA Fields Computer Science Name Robert Constable		Known for NuPRL Institutions Cornell University

Alma mater University of Wisconsin–Madison Doctoral students Steven Muchnick Kurt Mehlhorn Edmund M. Clarke Robert Harper Education University of Wisconsin-Madison (1968) Books A Programming Logic: With an Introduction to the PL/CV Verifier, An Introduction to the PL/CV2 Programming Logic Awards Guggenheim Fellowship for Natural Sciences, US & Canada Notable students Kurt Mehlhorn, Edmund M. Clarke Similar Stephen Cole Kleene, Kurt Mehlhorn, Edmund M Clarke, Joseph Sifakis, E Allen Emerson
Doctoral advisor Stephen Cole Kleene

Robert "Bob" Lee Constable 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. 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.

Robert Lee Constable wwwcscornelleduhomercimagesConstable2005Po

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.

References

Robert Lee Constable Wikipedia

(Text) CC BY-SA