Robert Lee Constable
| Use attributes for filter ! | |
| Gender | Male |
|---|---|
| Known for | Nuprl |
| Books | Implementing Mathematics with the Nuprl Proof Development System |
| Academic advisor | Stephen Cole Kleene |
| Notable students | Robert Harper |
| Edmund M. Clarke | |
| Kurt Mehlhorn | |
| Steven Muchnick | |
| Allan Borodin | |
| Pavel Naumov | |
| Notable student | Robert Harper |
| Date of Reg. | |
| Date of Upd. | |
| ID | 698643 |
Robert Lee 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 department at Cornell University, United States. He is known for his work on connecting computer programs and mathematical proofs, especially the Nuprl system.
Robert Lee Constable Photos
