A Conversation with Robert L. Constable

Other Titles
Abstract

Over 40 years ago, Bob Constable and his students started designing a logical language for specifying programming tasks and mathematical problems. The system, called Nuprl, is known since 1984 for being able to synthesize correct-by-construction programs from formal proofs in constructive type theory.

The Nuprl Library holds over 15,000 mathematical theorems, with a database of 450,000 proof steps, dealing with pure mathematics as well as proofs of programs. Bob received the 2014 Herbrand Award for this pioneering research in automated reasoning.

Bob was also the leading force in Cornell’s creation of CIS ---the Faculty of Computing and Information Science ---which has helped bring computing and computer science into every Cornell college. Bob served as first dean of CIS for ten years.

Bob and interviewer David Gries talk about the old days in CS.

Running Time: 47 min. http://hdl.handle.net/1813/40560

Journal / Series
Volume & Issue
Description
Sponsorship
Date Issued
2015-07-21
Publisher
Internet-First University Press
Keywords
Location
Effective Date
Expiration Date
Sector
Employer
Union
Union Local
NAICS
Number of Workers
Committee Chair
Committee Co-Chair
Committee Member
Degree Discipline
Degree Name
Degree Level
Related Version
Related DOI
Related To
Related Part
Based on Related Item
Has Other Format(s)
Part of Related Item
Related To
Related Publication(s)
Link(s) to Related Publication(s)
References
Link(s) to Reference(s)
Previously Published As
Government Document
ISBN
ISMN
ISSN
Other Identifiers
Rights
Rights URI
Types
video/moving image
Accessibility Feature
Accessibility Hazard
Accessibility Summary
Link(s) to Catalog Record