Robert L. Constable
American computer scientist / From Wikipedia, the free encyclopedia
Dear Wikiwand AI, let's keep it short by simply answering these key questions:
Can you list the top facts and stats about Robert Lee Constable?
Summarize this article for a 10 year old
SHOW ALL QUESTIONS
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]
Quick Facts Born, Citizenship ...
Robert L. Constable | |
---|---|
Born | Robert Lee Constable 1942 |
Citizenship | United States |
Alma mater | |
Known for | Nuprl |
Scientific career | |
Fields | Computer Science |
Institutions | Cornell University |
Doctoral advisor | Stephen Kleene |
Doctoral students | |
Close
Constable has been a director of the Marktoberdorf Summer School.[6]