Robert L. Constable

Robert Lee Constable, born 1942, is an American computer scientist and professor at Cornell University, where he was the first and former dean of the Faculty of Computing and Information Science. He is known for his work connecting computer programs and mathematical proofs, especially the Nuprl system, and earlier worked on the PL slash CV formal system and verifier; Alonzo Church supervised his junior thesis at Princeton and he received his PhD in 1968 under Stephen Kleene.