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.
Facts
Connections
In Field
Source Wikipedia: Robert L. Constable
In the Other Atlases
Sources
1. Wikipedia: Robert L. Constable
Introduction
born 1942
- In Field: Formal Methods, Infobox field and known_for, lead paragraph
View the Source2. Wikidata: Robert L. Constable
- Wikidata Q7346802, class allow-list match (w-wdresolver-0926)
- Wikidata Q7346802 P569 (date of birth)
View the SourceReader Challenges (0)
No disputes yet. Spotted an error or a better source? Open the first one.
Sign in to dispute this or suggest a correction.