Robert Lee Constable
From Wikipedia, the free encyclopedia
| Robert Lee Constable | |
|---|---|
| Fields | Computer Science |
| Institutions | Cornell University |
| Alma mater | University of Wisconsin |
| Doctoral advisor | Stephen Kleene |
| Doctoral students |
Steven Muchnick Kurt Mehlhorn Edmund M. Clarke Robert Harper |
| Known for | NuPRL |
Robert "Bob" Lee Constable is a professor of computer science and first and former dean of the department at Cornell University. 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 Steven Muchnick, Kurt Mehlhorn, Edmund M. Clarke, and Robert Harper. He is a Fellow of the Association for Computing Machinery.
Selected publications
- R. L. Constable and M. J. O'Donnel. 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.
External links
- Homepage at Department of Computing and Information Science, Cornell University
- Robert Lee Constable at the Mathematics Genealogy Project
This article is issued from Wikipedia. The text is available under the Creative Commons Attribution/Share Alike; additional terms may apply for the media files.