Biography:Robert L. Constable
Robert L. Constable | |
|---|---|
| Born | Robert Lee Constable 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 Faculty of Computing and Information Science at Cornell University.[1] 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.[2] Alonzo Church was supervising the junior thesis of Robert while he was studying in Princeton.[3] 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.[4] He is a Fellow of the Association for Computing Machinery.
Constable has been a director of the Marktoberdorf Summer School.[5]
Selected publications
- R. L. Constable and M. J. O'Donnell. A Programming Logic, Winthrop, Cambridge University Press , 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
- ↑ Steele, Bill (June 11, 2008). "Robert Constable, founding dean of computing and information science, will step down in 2009". Cornell Chronicle (Cornell University). https://news.cornell.edu/stories/2008/06/robert-constable-step-down-cis-dean.
- ↑ "Proceedings of the 6th ACM SIGACT–SIGPLAN symposium on Principles of programming languages (POPL '79)". Association for Computing Machinery. 1979. pp. 7–20. doi:10.1145/567752.567754.
- ↑ Constable, Robert L.; Gries, David (21 July 2015). "A Conversation with Robert L. Constable". https://ecommons.cornell.edu/handle/1813/40560. Retrieved 29 September 2019.
- ↑ "Robert Lee Constable". http://genealogy.math.ndsu.nodak.edu/id.php?id=9041. Retrieved 2 September 2015.
- ↑ "Robert L. Constable". Cornell University. 1997. https://www.cs.cornell.edu/annual_report/1997/constable.htm. Retrieved 2 September 2015.
External links
- Homepage at Department of Computing and Information Science, Cornell University
- Robert L. Constable at the Mathematics Genealogy Project
 |  |
