Constable, Robert L.
A Conversation with Claire Cardie (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 (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 (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 (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 ...