Robert L. Constable
id:
robert-l-constable-218-2931034
title:
Robert L. Constable
text:
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. Prior to Nuprl, he worked on the PL/CV formal system and verifier. Alonzo Church supervised Constable's junior thesis while he was studying in Princeton. Constable received his PhD in 1968 under
brand slug:
wiki
category slug:
encyclopedia
description:
American computer scientist
original url:
https://en.wikipedia.org/wiki/Robert_L._Constable
date created:
2011-06-15T12:51:00Z
date modified:
2024-09-13T07:14:59Z
main entity:
{"identifier":"Q7346802","url":"https://www.wikidata.org/entity/Q7346802"}
image:
fields total:
13
integrity:
15