Constable, Robert L.

Permanent URI for this collection


Recent Submissions

Now showing 1 - 4 of 4
  • Item
    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.
  • Item
    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.
  • Item
    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. He is known for his texts on programming, on compiler writing (the first such text, in 1971), on the science of programming, and on logic and discrete math. He has two honorary doctorates and four awards from the leading computing societies for contributions to education. He was among the first ten Cornell faculty to receive the Weiss Presidential Fellow award for contributions to undergrad education. He was Chair of the Computer Science Board when it became the CRA (Computing Research Association) and opened an office in Washington to represent the interests of computing in academia. He received the CRA award for service to the computing community. David and Bob talk about David’s time as a grad student at the Munich Institute of Technology and the early days in the Cornell CS Department. Running Time: 51 min.
  • Item
    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 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.