Robert L. Constable
Use attributes for filter ! | |
Gender | Male |
---|---|
Age | 83 |
Date of birth | January 1,1942 |
Notable student | Robert Harper |
Allan Borodin | |
Academic advisor | Alonzo Church |
Stephen Cole Kleene | |
Books | Implementing Mathematics with the Nuprl Proof Development System |
Education | University of Wisconsin-Madison |
Princeton University | |
Date of Reg. | |
Date of Upd. | |
ID | 3924895 |
Robert L. Constable Life story
Robert Lee Constable 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. He is known for his work on connecting computer programs and mathematical proofs, especially the Nuprl system.