eCommons

 

A Conversation with Robert L. Constable

dc.contributor.authorConstable, Robert L.
dc.contributor.authorGries, David
dc.date.accessioned2015-07-29T19:24:43Z
dc.date.accessioned2015-07-31T15:07:37Z
dc.date.available2015-07-29T19:24:43Z
dc.date.available2015-07-31T15:07:37Z
dc.date.issued2015-07-21
dc.description.abstractOver 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
dc.description.viewer1_l8rcpm8aen_US
dc.identifier.urihttps://hdl.handle.net/1813/40560
dc.language.isoen_USen_US
dc.publisherInternet-First University Pressen_US
dc.titleA Conversation with Robert L. Constableen_US
dc.typevideo/moving imageen_US

Files

Original bundle
Now showing 1 - 4 of 4
No Thumbnail Available
Name:
Constable_original.mov
Size:
3.28 GB
Format:
Video Quicktime
Description:
Download Quicktime Video (large file)
No Thumbnail Available
Name:
Constable_HD.mp4
Size:
893.33 MB
Format:
Multimedia/Video
Description:
Download HD Version of Video
No Thumbnail Available
Name:
Constable_SD.mp4
Size:
288.48 MB
Format:
Multimedia/Video
Description:
Download SD Version of Video
No Thumbnail Available
Name:
Constable_Mobile.mp4
Size:
138.65 MB
Format:
Multimedia/Video
Description:
Download Mobile Version of Video