Now showing items 1-13 of 13

    • A Conversation with Juris Hartmanis 

      Hartmanis, Juris (Internet-First University Press, 2010-03-31)
      Juris Hartmanis is video taped in a far-reaching conversation (70 minutes) with colleague David Gries. They discuss Hartmanis’ childhood and family background and his immigration to the United States. Next they trace his ...
    • A Conversation with Anil Nerode 

      Nerode, Anil; Gries, David (Internet-First University Press, 2014-10-16)
      Anil Nerode is the Goldwin Smith Professor of Mathematics. He joined the Cornell Math Department in 1959. His interests are in mathematical logic, the theory of automata, computability and complexity theory, the calculus ...
    • A Conversation with Richard W. Conway 

      Conway, Richard W.; Gries, David (Internet-First University Press, 2015-07-21)
      Dick Conway came to Cornell in 1949, as a freshman. He received the first PhD from Operations Research and Industrial Engineering (1958), was instrumental in the creation of the CS Department (1965) and was a founding ...
    • A Conversation with John E. Hopcroft 

      Hopcroft, John E.; Gries, David (Internet-First University Press, 2015-07-21)
      This ACM Turing Award recipient talks about research, textbooks, working with graduate students, his role as a senior statesman of his field and concludes with some words of wisdom.
    • 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 ...
    • 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 Fred Schneider 

      Schneider, Fred B.; Gries, David (Internet-First University Press, 2015-09-09)
      Fred Schneider, an expert in concurrent and distributed systems and in computer and cybersecurity, shares insights about how his professional interests evolved, and provides sweeping views about how his field and 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 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 Tim Teitelbaum 

      Teitelbaum, Tim; Gries, David (Internet-First University Press, 2015-09-10)
      A discussion of the teaching of large, introductory courses in programming in the early days-using the Terak and Macintosh computers and the development of integrated programming environments that implement language-aware ...
    • A Conversation with Ken Birman 

      Birman, Ken; Van Renesse, Robbert (Internet-First University Press, 2015-09-10)
      Ken Birman discusses the origins of cloud computing.
    • A Conversation with Charlie Van Loan 

      Van Loan, Charlie; Bala, Kavita (Internet-First University Press, 2015-09-15)
      Van Loan discusses his experiences with teaching, writing textbooks, administering degree programs, MatLab, matrices and more.
    • 00_A Directory of the Oral Histories of Computer Science at Cornell University 

      Cooke, J. Robert (The Internet-First University Press, 2016-06-16)