Properties (21)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:physicist
|
| gptkbp:academicAdvisor |
gptkb:Gerald_Sacks
|
| gptkbp:affiliation |
gptkb:Cornell_University
|
| gptkbp:awards |
Fellow_of_the_American_Mathematical_Society
Fellow_of_the_Association_for_Computing_Machinery Fellow_of_the_American_Association_for_the_Advancement_of_Science |
| gptkbp:birthDate |
1939-01-01
|
| gptkbp:birthPlace |
gptkb:United_States
|
| gptkbp:education |
gptkb:Harvard_University
|
| gptkbp:field |
Computer Science
Mathematics |
| https://www.w3.org/2000/01/rdf-schema#label |
Robert L. Constable
|
| gptkbp:influenced |
gptkb:John_McCarthy
|
| gptkbp:influencedBy |
gptkb:Alonzo_Church
|
| gptkbp:knownFor |
Contributions to formal methods
|
| gptkbp:notableWork |
gptkb:The_Nuprl_Proof_Development_System
|
| gptkbp:researchInterest |
Artificial Intelligence
Programming Languages Proof Theory Type Theory |
| gptkbp:website |
http://www.cs.cornell.edu/people/constable/
|