Robert Lee Constable
Jump to navigation
Jump to search
Robert Lee Constable | |
---|---|
Born | 1942 |
Citizenship | United States |
Alma mater | Princeton University, University of Wisconsin–Madison |
Known for | Nuprl |
Scientific career | |
Fields | Computer Science |
Institutions | Cornell University |
Doctoral advisor | Stephen Kleene |
Other academic advisors | Alonzo Church |
Doctoral students | Allan 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.[1] 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.[2] He is a Fellow of the Association for Computing Machinery.
Constable has been a director of the Marktoberdorf Summer School.[3]
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
- ^ Constable, Robert L.; Gries, David (21 July 2015). "A Conversation with Robert L. Constable". Digital Repository of Cornell University. Retrieved 29 September 2019.
- ^ "Robert Lee Constable". Mathematics Genealogy Project. Retrieved 2 September 2015.
- ^ "Robert L. Constable". Cornell University. 1997. Retrieved 2 September 2015.
External links
- Homepage at Department of Computing and Information Science, Cornell University
- Robert Lee Constable at the Mathematics Genealogy Project
Categories:
- Articles with short description
- Short description with empty Wikidata description
- Articles with hCards
- AC with 0 elements
- 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
- All stub articles
- Computer scientist stubs