Robert L. Constable

Robert L. Constable
Born
Robert Lee Constable

1942
CitizenshipUnited States
Alma mater
Known forNuprl
Scientific career
FieldsComputer Science
InstitutionsCornell University
Doctoral advisorStephen Kleene
Doctoral students

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.[2] 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.[3] Alonzo Church supervised Constable's junior thesis while he was studying in Princeton.[4] Constable received his PhD in 1968 under Stephen Kleene and has supervised over 40 students.[5]

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

  1. ^ Robert L. Constable at the Mathematics Genealogy Project
  2. ^ Steele, Bill (June 11, 2008). "Robert Constable, founding dean of computing and information science, will step down in 2009". Cornell Chronicle. Cornell University.
  3. ^ Constable, Robert L.; Johnson, Scott D. (1979). "A PL/CV Precis". Proceedings of the 6th ACM SIGACT–SIGPLAN symposium on Principles of programming languages (POPL '79). Association for Computing Machinery. pp. 7–20. doi:10.1145/567752.567754.
  4. ^ Constable, Robert L.; Gries, David (21 July 2015). "A Conversation with Robert L. Constable". ecommons.cornell.edu. Retrieved 29 September 2019.
  5. ^ "Robert Lee Constable". Mathematics Genealogy Project. Retrieved 2 September 2015.
  6. ^ "Robert L. Constable". Cornell University. 1997. Retrieved 2 September 2015.