Now showing items 1-10 of 13

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