Constable, Robert L.

A Conversation with Claire Cardie

Cardie, Claire; Constable, Robert L. (Internet-First University Press, 2015-09-09)

Claire Cardie discusses the role of Gerard Salton, natural language processing and the creation of the Information Science Department.
A Conversation with Dexter Kozen

Kozen, Dexter; Constable, Robert L. (Internet-First University Press, 2015-09-09)

Kozen discusses his experiences at Cornell – his research and teaching experience, textbooks, participation in sports & music, etc.
A Conversation with David Gries

Gries, David; Constable, Robert L. (Internet-First University Press, 2015-07-21)

David Gries joined Cornell in 1969. He was chair of CS in the 1980s and associate dean of engineering for 8 years in the 2000s. His research was on compiler writing and areas related to formal programming methodology. ...
A Conversation with Robert L. Constable

Constable, Robert L.; Gries, David (Internet-First University Press, 2015-07-21)

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 ...