Jump to content

Robert L. Constable

Edit links
From Wikipedia, the free encyclopedia

This is an old revision of this page, as edited by TAnthony (talk | contribs) at 04:24, 10 August 2016 (USA is deprecated, per MOS:NOTUSA, and correct overlinking of common places using AWB). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

Robert Lee Constable
CitizenshipUnited States
Alma materUniversity of Wisconsin–Madison
Known forNuPRL
Scientific career
FieldsComputer Science
InstitutionsCornell University
Doctoral advisorStephen Kleene
Doctoral studentsSteven Muchnick
Kurt Mehlhorn
Edmund M. Clarke
Robert Harper

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 Ryan Stansifer, Steven Muchnick, Kurt Mehlhorn, Edmund M. Clarke, and Robert Harper.[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'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.

References

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


P ≟ NP 

This biographical article relating to a computer scientist is a stub. You can help Wikipedia by expanding it.

Retrieved from "http://en.wiki.x.io/w/index.php?title=Robert_L._Constable&oldid=733792187"