Robert Lee Constable

Robert Lee Constable
Citizenship	United States
Fields	Computer Science
Institutions	Cornell University
Alma mater	University of Wisconsin–Madison
Doctoral advisor	Stephen Kleene
Doctoral students	Edmund M. Clarke Robert Harper Kurt Mehlhorn Steven Muchnick Pavel Naumov
Known for	NuPRL

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

Constable has been a director of the Marktoberdorf Summer School.