Robert Lee Constable
Get Robert Lee Constable essential facts below. View Videos or join the Robert Lee Constable discussion. Add Robert Lee Constable to your Like2do.com topic list for future reference or share this resource on social media.
Robert Lee Constable
Robert Lee Constable
CitizenshipUnited States
Alma materUniversity of Wisconsin-Madison
Known forNuPRL
Scientific career
FieldsComputer Science
InstitutionsCornell University
Doctoral advisorStephen Kleene
Doctoral studentsEdmund M. Clarke
Robert Harper
Kurt Mehlhorn
Steven Muchnick
Pavel Naumov

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.[1] He is a Fellow of the Association for Computing Machinery.

Constable has been a director of the Marktoberdorf Summer School.[2]

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

  1. ^ "Robert Lee Constable". Mathematics Genealogy Project. Retrieved 2015.
  2. ^ "Robert L. Constable". Cornell University. 1997. Retrieved 2015.

External links



  This article uses material from the Wikipedia page available here. It is released under the Creative Commons Attribution-Share-Alike License 3.0.

Robert_Lee_Constable
 



 

Top US Cities

Like2do.com was developed using defaultLogic.com's knowledge management platform. It allows users to manage learning and research. Visit defaultLogic's other partner sites below:
PopFlock.com : Music Genres | Musicians | Musical Instruments | Music Industry