The Department of Computer Science at Cornell University, which was organized in 1965, is one of the oldest departments of its kind in the country. It has a full-time faculty of 36, approximately 110 resident Ph.D. graduate students, 100 M.Eng students, and the undergraduate program graduates about 200 C.S. majors each year. The department is typically ranked as one of the top five in the country.

For more information, go to the Computer Science Home Page.

Collections in this community

Recent Submissions

  • 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 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.
  • JRIF: Reactive Information Flow Control for Java 

    Kozyri, Elisavet; Arden, Owen; Myers, Andrew C.; Schneider, Fred B. (2015-10-24)
    Classic information flow systems conservatively define the security label associated with a derived value to be at least as restrictive as the security label on any input to that derivation. Because restrictions on information ...
  • 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 David Gries 

    Gries, David; Constable, Robert L. (Internet-First University Press, 2015-07-21)
  • 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 Richard W. Conway 

    Conway, Richard W.; Gries, David (Internet-First University Press, 2015-07-21)
  • A Conversation with Robert L. Constable 

    Constable, Robert L.; Gries, David (Internet-First University Press, 2015-07-21)
  • A Conversation with Anil Nerode 

    Nerode, Anil; Gries, David (Internet-First University Press, 2014-10-16)
  • Flow-Limited Authorization 

    Arden, Owen; Liu, Jed; Myers, Andrew (2015-05-08)
    Because information flow control mechanisms often rely on an underlying authorization mechanism, their security guarantees can be subverted by weaknesses in authorization. Conversely, the security of authorization can ...
  • 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 Linear List Merging Algorithm 

    Hopcroft, John E.; Ullman, Jeffrey D. (2008-05-14)
    A linear list merging algorithm and its analysis is presented. Starting with n lists, each containing a single element, the algorithm will execute an arbitrary sequence of requests to merge lists and to find the name of ...
  • On the Modelling Power of Petri Nets 

    Meiling, Erik (Cornell University, 1979-12)
    The behavior of a Petri net is expressed as a formal language. Certain families of Petri net languages are characterized by propositions similar to the classical pumping theorems. The results are used to give examples ...
  • Cand and Cor Before and Then or Else in Ada 

    Gries, David (Cornell University, 1979-11)
  • A Proof Technique for Communicating Sequential Processes(With an Example) 

    Levin, Gary Marc (Cornell University, 1979-11)
    We present proof rules for an extension of the Communicating Sequential Processes proposed by Hoare. The send and receive statements are treated symmetrically, simplifying the rules and allowing send to appear in guards. ...
  • On Linear Natural Deduction 

    Leivant, Daniel (Cornell University, 1979-11)
  • The System Architecture for CORE: A Tolerant Program Development Environment 

    Archer, James E., Jr.; Conway, Richard W.; Shore, Andrew I.; Silver, Leonard S. (Cornell University, 1979-10)
    CORE is a program development environment intended primarily to explore a highly tolerant useer interface. In some respects the internal architecture is also novel. It permits a highly interactive and supportive user ...
  • A Program Development System Execution Supervisor 

    Archer, James E., Jr.; Shore, Andrew I. (Cornell University, 1979-10)
    The Cornell Program Development System is an experimental vehicle to explore the applicability of highly cooperative tactics to a contemporary development environment. The CPDS provides significant facilities for modifying ...

View more


RSS Feeds