Timeline

1965-66

The Department of Computer Science (CS) is formed, with Juris Hartmanis (emeritus since 2002), as Chair. Also joining are Dick Conway (joint with ORIE, emeritus since 2002, Johnson Grad School of Management), Pat Fischer (1965-68), Chris Pottle (joint with EE, 1965-74), Gerard Salton (deceased 1995, click here for a memorial statement), Sid Saltzman (joint with ORIE, 1965-66), and Bob Walker (joint with Math, 1965-74).

Gerard Salton, “the father of Information Retrieval”, brings his SMART system to Cornell from Harvard. His work with SMART (System for the Mechanical Analysis and Retrieval of Text) forms the basis for 35 years of research in IR and lays the conceptual foundation for Google and other modern search engines.

Juris Hartmanis publishes the paper that starts the field of computational complexity, with Dick Stearns: On the computational complexity of algorithms, Trans. Amer. Math. Soc. 117 (1965), 285-306. Later, they receive the ACM Turing Award for this work.

CS produces its first PhD, Joel Sturman, a transfer from Electrical Engineering.

1966-67

Ken Brown (1966-71) and Peter Wegner (1966-69) join the faculty.

Juris Hartmanis and colleague Dick Stearns publish the first of many influential texts by CS: Algebraic Structure: Theory of Sequential Machines (Prentice Hall).

1967-68

John Hopcroft, Roland Sweet (1967-70), and Bill Worley (1967-69) join the faculty.

Dick Conway, Bill Maxwell, and Louis Miller publish the classic text Theory of Scheduling (Addison-Wesley).

1968-69

Bob Constable, Bill Maxwell (joint with ORIE, 1968-74), Howard L. Morgan (1968-73), Alan Shaw (1968-71), and Robert Wagner (1968-71) join the faculty.

Gerry Salton publishes the classic IR text Automatic Information Organization and Retrieval (McGraw-Hill).

1969-70

John Dennis (1969-79) and David Gries (emeritus since 2011) join the faculty.

Gerry Salton becomes Editor-in-Chief of the Journal of the ACM —the first of many influential editorial positions held by members of CS.

John Hopcroft and and colleague Jeff Ullman publish their classic text Formal Languages and Their Relation to Automata (Addison-Wesley).

1970-71

Ellis Horowitz (1970-73), Jorge More (1970-75), and John Williams (1970-78) join the faculty.

Dick Conway's group develops PL/C, a subset of PL/1, designed for instructional purposes. The PL/C compiler is distributed to 100 institutions and instantly becomes the standard instructional PL/1 compiler.

1971-72

Gerry Salton becomes Department Chair.

Jim Bunch (1971-74) joins the faculty

Faculty members Jim Bunch and Jorge More win Householder Prizes for their PhD theses in numerical analysis.

David Gries publishes the first text on compiler construction: Compiler Construction for Digital Computers (John Wiley & Sons).

Gerry Salton publishes The SMART Retrieval System Experiments in Automatic Document Processing (Prentice Hall).

1972-73

Alan Demers (now Principal Research Scientist), Charles Moore (1972-75), and Bob Tarjan (1972-73) join the faculty.

1973-74

CS grows to 15 faculty members, with Larry Kou (1973-75) and Ray Teitelbaum (now emeritus) joining.

Juris Hartmanis becomes the founding editor of Springer-Verlag's LNCS series (Lecture Notes in Computer Science) and continues as editor for 30+ years. LNCS now publishes 600+ volumes annually.

David Gries becomes the founding Editor of Springer-Verlag's Text and Monograph Series (TMCS). He still edits the series, along with Fred Schneider.

John Hopcroft becomes Managing Editor of the SIAM Journal on Scientific Computing.

Dick Conway and David Gries publish the first programming text to deal with issues of correctness, like loop invariants: An Introduction to Programming, a Structured Approach Using PL/1 and PL/C (Winthrop).

1974-75

Greg Andrews (1974-79), S.P. Han (1974-78), and David Kirkpatrick (1974-75) join the faculty.

The Program of Computer Graphics is started under the leadership of Don Greenberg --the first major computer graphics facility supported by the NSF.

John Hopcroft and colleagues Al Aho and Jeff Ullman publish their classic text The Design and Analysis of Computer Algorithms (Addison-Wesley).

John Dennis and Jorge More publish their landmark paper Quasi-Newton Methods, Motivation and Theory, which changes the game of non-linear equation-solving through the use of approximate Jacobian matrices.

1975-76

Jim Donahue (1975-81), Charlie Van Loan, Susan Owicki (1975-76), and Allan Borodin (1975-76) join the faculty.

Gerry Salton's new book, Dynamic Information Library Processing (Prentice Hall), receives the Best Information Science Book of 1975 from the American Society for Information Science (ASIS).

Bob Constable starts the development of PL/CV. Developed over nine years, PL/CV eventually results in Nuprl, a system for mathematical reasoning which is still widely used today. Thirty PhD students learned how to do research using PL/CV and Nuprl.

1976-77

Corky Cartwright (1976-80) joins the faculty.

Dick Conway becomes series editor for Winthrop Publishers.

John Dennis and Charlie Van Loan procure HP-67 programmable calculators which make it possible to execute a stored program—a departmental first.

1977-78

Juris Hartmanis becomes Department Chair for the second time.

CS acquires its first computer, a PDP 11/60.

David Gries and Susan Owicki (PhD '75) receive the ACM Programming Languages and Systems Award for An axiomatic proof technique for parallel programs. Based on Susan's PhD thesis, this paper introduces interference freedom as the basis for proving parallel programs correct.

1978-79

Dick Conway is Acting Department Chair while Hartmanis is on sabbatic.

Frank Luk (1978-84) and Fred Schneider join the faculty.

CS introduces two undergrad degrees: BA in Arts & Sciences and BS in Engineering.

Bob Constable and student Mike O'Donnell publish A Programming Logic (Winthrop).

1979-80

Daniel Leivant (1979-81) joins the faculty.

Cornell adopts the Cornell Program Synthesizer for instruction in programming. Tim Teitelbaum and student Tom Reps develop this precursor to today's integrated development environments (IDEs) for teaching a subset of PL/1 on Terak microcomputers. In 1980-1981, the Cornell Program Synthesizer is distributed to 80 institutions.

Gerry Salton becomes Chair of ACM SIGIR (Special Interest Group on Information Retrieval).

David Gries is editor of the book Programming Methodology, a collection of articles by members of IFIP Working Group 2.3 (Springer Verlag).

1980-81

Bengt Aspvall (1980-83), John Gilbert (1980-88), and Sam Toueg (1980-2001) join the faculty.

CS obtains a $2.6 million, 5-year CER (Coordinated Experimental Research) grant from the National Science Foundation (NSF), a major step in increasing its presence in experimental computing.

Cornell Engineering pioneers the use of advanced computer graphics in undergraduate education with the establishment of CADIF: the Computer Aided Design Instructional Facility. Don Greenberg is its first Director, and David Gries is head of the oversight committee.

1981-82

Ozalp Babaoglu (1981-88), Tom Coleman (1981-2005), Dale Skeen (1981-85), and Paul Pritchard (1981-84) join the faculty.

David Gries publishes The Science of Programming (Springer-Verlag), bringing ideas on the formal development of programs to the undergrad level.

New Professional Society Fellows. AAAS: Juris Hartmanis.

1982-83

David Gries becomes Department Chair.

Ken Birman and Kevin Karplus (joint with EE, 1982-86) join the faculty.

CS grows to 20 faculty.

The 1982 National Research Council (NRC) Assessment of Research Doctorate CS programs places Cornell fifth out of 58 departments.

Gerry Salton receives the first ACM SIGIR Award for outstanding contributions to information retrieval.

Bob Constable, with students Johnson and Eichenlaub, publishes a book on their verifier, Introduction to the PL/CV Programming Logic (Springer-Verlag).

1983-84

Dick Conway is Acting Department Chair while Gries is on sabbatic.

Dina Bitton (1982-87), Greg Johnson (1982-86), and Abha Moitra (1982-88) join the faculty.

CS begins to move into interdisciplinary work, helping to start a new graduate field of "manufacturing systems engineering".

David Gries receives a Guggenheim Fellowship.

Tom Reps (PhD '82) receives the ACM Doctoral Dissertation Award for his PhD thesis, Generating Language-Based Environments (MIT Press).

ACM SIGIR establishes the Gerard Salton Award to honor those who have made significant, sustained, and continuing contributions to research in information retrieval. The first recipient is Gerry Salton himself.

Tom Coleman publishes Large Sparse Numerical Optimization (Springer-Verlag LNCS 165).

Charlie Van Loan and colleague Gene Golub publish Matrix Computation (Johns Hopkins Press).

1984-85

Gianfranco Bilardi (1984-90), Alex Nicolau (1984-88), John Solworth (1984-87), and Vijay Vazirani (1984-90) join the faculty.

The CS computing facility serves as the gateway for the entire university to Arpanet and CSnet. CS is instrumental in the university's Project Ezra to increase the use of computers on campus, which is funded by an $8 million grant from IBM.

Use of the Cornell Synthesizer Generator grows to more than 330 institutions.

1985-86

Dexter Kozen (PhD '77) and Prakash Panangaden (1985-89) join the faculty.

CS receives its second five-year CER grant from the NSF.

The Cornell Theory Center, founded in 1984, becomes one of four NSF supercomputer centers. IBM provides an additional $30 million in hardware, software, and staff.

Ken Birman develops the first version of Isis, the first system for fault-tolerance in distributed systems.

David Gries receives the AFIPS Education Award for contributions to computer science education.

Research Awards. IBM Faculty Development Award: Fred Schneider.

1986-87

Keith Marzullo (1986-94), Keshav Pingali (1986-06), and Alberto Segre (1986-94) join the faculty.

CS expands into 22,000 square feet of space in a new floor added to Upson Hall.

John Hopcroft shares the ACM Turing Prize with Bob Tarjan "for fundamental achievements in the design and analysis of algorithms and data structures". The work was Bob Tarjan's PhD thesis at Stanford, advised by Hopcroft. Their major achievement was a linear algorithm for graph planarity testing, and many more ideas on algorithm design and data structures came out of their collaboration.

Kurt Mehlhorn (PhD '74) and frequent visitor Wolfgang Paul receive the German Leibniz Prize.

The Nuprl work reaches a milestone: Bob Constable and his students publish Implementing Mathematics with the Nuprl Proof Development System (Prentice Hall).

David Gries publishes the first of five years of Taulbee Surveys, which give data on PhD-granting departments. The five years of surveys have an almost 100% completion rate.

1987-88

John Hopcroft becomes Department Chair.

Bruce Donald (1987-97) and David McAllester (1987-89) join the faculty.

CS grows to 25 faculty members and 200 computers.

David Gries chairs the Computer Science Board (the precursor to the Computing Research Association) which provides a forum for the discussion of issues in computer science research and education.

John Hopcroft chairs the NSF Advisory Committee for Computer Research.

Don Greenberg receives the ACM Steven Coons Award, which honors lifetime contributions to computer graphics and interactive techniques.

Gerry Salton receives the Distinguished Science Award from the Humboldt Foundation in Germany.

John Hopcroft is elected to the American Academy of Arts and Sciences.

Best Paper awards. Ramin Zabih and David McAllester at AAAI.

Research Awards. NSF Presidential Young Investigator Award: David Shmoys.

New Professional Society Fellows. AAAS: John Hopcroft.

1988-89

Doug Howe (1988-93), Dan Huttenlocher, Devika Subramanian (1988-95), and Stephen Vavasis (1988-2006) join the faculty.

Tim Teitelbaum and Tom Reps (Phd '82) found GrammaTech, Inc. to commercialize software originally developed as part of Reps's thesis. GrammaTech's current business is focused on software security and assurance; it performs research for the US Government and licenses its software tools worldwide.

Don Greenberg receives the National Computer Graphics Association Academic Award.

Juris Hartmanis and John Hopcroft are elected to the National Academy of Engineering.

Gerry Salton is named a Pioneer of Computing in the Annals of the History of Computing. He receives the ACM Award for Best Review in Computing Reviews.

Eva Tardos receives the American Mathematical Society’s Fulkerson Prize for her paper, A strongly polynomial minimum cost circulation algorithm.

David Gries becomes a Managing Editor of Information Processing Letters.

Fred Schneider becomes Editor-in-Chief of Distributed Computing.

Tom Coleman and Charlie Van Loan publish the Handbook for Matrix Computations (SIAM).

Tim Teitelbaum and former student Tom Reps publish two books on the Synthesizer Generator (Springer Verlag).

Ken Birman starts a company called Isis Distributed Systems, Inc., which brings the Isis system to the private sector, industry, and government.

Best Paper awards. Bart Selman at CSCI (Canadian Soc for Computational Studies of Intelligence).

1989-90

Bard Bloom (1989-95) joins the faculty.

Tom Coleman becomes Director of the Cornell Advanced Computing Research Institute, a unit of the Cornell Theory Center.

Chaired by David Gries, the Computer Science Board changes its name to the Computing Research Association (CRA), opens an office in Washington, and works to represent the national interests of computing research.

John Hopcroft authors a report for the NSF Advisory Committee for Computer Research (with Ken Kennedy). Computer Science: Achievements and Opportunities helps set the direction of NSF computing research funding.

Gerry Salton is Chair-Elect of Section T of the AAAS (American Association for the Advancement of Science), which is concerned with issues of Information, Computing, and Communication.

Gerry Salton receives the ASIS Award of Merit, the American Society of Information Science’s highest honor, bestowed annually to an individual who has made a noteworthy contribution to the field of information science.

Bob Constable and student Doug Howe publish Implementing Metamathematics as an Approach to Automatic Theorem Proving (Elsevier Science).

Gerry Salton publishes Automatic Text Processing (Addison Wesley).

Research Awards. NSF Presidential Young Investigator Award: Keshav Pingal.

Best Paper awards. Bart Selman at KR (Conf on Knowledge Representation and Reasoning).

1990-91

With the completion of Rhodes Hall, CS expands to 38,000 square feet of space.

David Gries receives the ACM SIGCSE Award for his contributions to CS education.

David Gries receives the CRA Award for Service to the CS Community.

Juris Hartmanis is elected a Foreign Member of the Academy of Science of Latvia.

John Hopcroft receives an honorary doctorate from the University of Seattle in Washington.

Tom Coleman and Yuying Li publish Large-scale Numerical Optimization (SIAM Publications).

David Gries and colleagues W.H.J. Feijen, A.J.M. van Gasteren, and J. Misra publish Beauty Is Our Business (Springer Verlag).

Research Awards. IBM Faculty Partnership Award: John Hopcroft. NSF Presidential Young Investigator Award: Dan Huttenlocher, Stephen Vavasis.

New Professional Society Fellows. AAAS: David Gries.

1991-92

Paul Pederson (1991-94), Carlos Tomasi (1991-93), and Lloyd Trefethen (1991-97) join the faculty.

The CS research budget tops $6 million. CS acquires an 8000-node CM-200 data parallel computer.

NSF funds the National Science and Technology Center for Computer Graphics and Scientific Visualization, a multidisciplinary five-university Center based at Cornell. Don Greenberg is its first Director. The grant lasted from 1991 to 2002 and educated many of today's computer graphics faculty in the US.

David Gries, Charlie Van Loan, and Fred Schneider are successful with a multi-million dollar NSF proposal for Revitalizing the Computer Science Curriculum, allowing a complete revamping of the lower level undergraduate courses.

Bruce Donald and Dan Huttenlocher receive an NSF grant for an undergrad teaching lab in robotics and vision, the first of its kind in the nation.

Bob Constable receives a Guggenheim Fellowship.

Don Greenberg is elected to the National Academy of Engineering.

John Hopcroft is appointed to the National Science Board, which oversees the National Science Foundation. He also becomes Chair of the Board of Trustees of SIAM.

Dexter Kozen publishes The Design and Analysis of Algorithms (Springer-Verlag).

Steve Vavasis publishes Nonlinear Optimization: Complexity Issues (Oxford Science).

Research Awards. NSF Presidential Young Investigator Award: Eva Tardos. Sloan Research Fellowship: Eva Tardos.

1992-93

Juris Hartmanis becomes Department Chair for the third time.

Tom Henzinger (1991-95) and Ronitt Rubinfeld (1992-2000) join the faculty.

John Hopcroft becomes Associate Dean of Engineering.

Juris Hartmanis is Chair of the NRC Committee that produces Computing the Future (National Academy Press). This influential report assesses academic computer science and engineering, and advocates for a broader research and educational agenda. This paves the way for the interdisciplinary vision of CIS--that computing should touch every department at Cornell. David Gries was also on the committee.

Dick Conway is elected to the National Academy of Engineering.

Juris Hartmanis is elected to the American Academy of Arts and Sciences.

Dexter Kozen receives a Prize from the Polish Ministry of Education, and a Guggenheim Fellowship.

CS undergrads do well on the Putnam Math Competition. The team of Kleinberg, Munoz, and Krosky places fifth out of 284, and Zhang places in the top ten individuals.

Charlie Van Loan publishes Computational Frameworks for the Fast Fourier Transform (SIAM).

Best Student Paper awards. Aravind Srinivasan and Alessandro Panconesi at STOC (ACM Symp on Theory of Computing).

Best paper awards. Bart Selman at AAAI.

1993-94

Bob Constable becomes Department Chair.

Brian Smith (1993-99), Thorsten von Eicken (1993-2001), and Ramin Zabhih (now based at Cornell Tech) join the faculty.

Juris Hartmanis shares the ACM Turing Award with Dick Stearns, "in recognition of their seminal paper, which established the foundations for the field of computational complexity theory". (See the entry for 1965-66.)

Juris Hartmanis receives a Humboldt Foundation Award for Senior U.S. Scientists. This foundation enables scholars to do research in Germany.

Researcher Yuying Li receives the 1993 Leslie Fox Prize in Numerical Analysis from the Institute of Mathematics and its Applications.

David Gries and Fred Schneider publish A Logical Approach to Discrete Math (Springer Verlag).

Stratus Computer acquires Ken Birman's Isis Distributed Systems, Inc. Isis is now the core technology used in the NY and Swiss Stock Exchanges, the French Air Traffic Control System, and by the US Navy.

New Professional Society Fellows. AAAI: Joe Halpern. ACM (Charter members): David Gries, John Hopcroft, Juris Hartmanis.

1994-95

John Hopcroft becomes Dean of Engineering.

Claire Cardie and Monika Rauch (1994-96) join the faculty.

David Gries receives the IEEE Computer Society Taylor Booth Education Award from the world’s largest professional organization of electrical and electronics engineers for his "commitment to education in CS and Engineering as demonstrated by a record of outstanding teaching and mentoring, writing of textbooks, curriculum development ..."

Juris Hartmanis receives the Senior Distinguished Scientist Award from the Humboldt Foundation in Germany.

Dan Huttenlocher is the CASE New York State Professor of the Year. The award is given by the Council for Advancement and Support of Education for an individual professor’s positive impact on undergraduates, scholarly approach to learning, and contributions to undergraduate education.

David Gries is among the first ten to receive a Cornell Presidential Weiss Fellowship for his contributions to undergrad education. Three such awards are given each year.

T.V. Raman receives the ACM Doctoral Dissertation Award for his PhD thesis, Audio System For Technical Readings (Springer-Verlag, 1998). Raman, whose advisor was David Gries, is now a researcher at Google.

Ken Birman becomes Editor-in-Chief of the ACM journal, Transactions on Computing Systems.

Researchers Jim David, Dean Krafft, and Carl Lagoze release Dienst, which becomes the foundation for future digital library interoperability.

Research Awards. NSF Presidential Young Investigator Award: Bruce Donald, David Shmoys.

New Professional Society Fellows. ACM: Bob Constable, Gerard Salton.

1995-96

Greg Morrisett (1995-2004) and Eva Tardos (joint with ORIE) join the faculty.

CS mourns the passing of Gerry Salton, a founding member of the department and the father of information retrieval. For a memorial statement, see In Memoriam.

David Gries receives the ACM Karlstrom Outstanding Educator Award and an honorary doctorate from Daniel Webster College in New Hampshire.

Juris Hartmanis receives the Bolzano Gold Medal of the Academy of Sciences of the Czech Republic for Merit in the Field of Mathematical Sciences. He also receives an honorary doctorate from the University of Dortmund, Germany.

Neil Immerman (PhD '80) and colleague Róbert Szelepcsényi are awarded the Gödel prize for their paper showing that nondeterministic logarithmic space is closed under complement.

Fred Schneider becomes Professor-at-Large at the University of Tromso, Norway.

Ken Birman chairs The DARPA Information Science and Technology study on the survivability of critical infrastructure as it relates to the Department of the Defense. Fred Schneider is also on the committee.

Research Awards. Packard Fellowship in Science and Engineering: Eva Tardos.

New Professional Society Fellows. AAAS: Fred Schneider.

1996-97

Joe Halpern, Michael Godfrey (1996-98), Srinivasan Keshav (1996-99), Jon Kleinberg, and Praveen Seshadri (1996-2001) join the faculty.

Ronitt Rubinfeld organizes a "computer science fair" to showcase undergraduate research. This has blossomed into the annual BOOM (Bits On Our Mind), in which cutting-edge student research in digital technology all over the Cornell campus is displayed, with awards and also a K-12 outreach program. Visit boom.cornell.edu/.

Senior Res. Assoc. Bruce Land wins first place in the Web-based instructional materials competition at ACM SIGUCC (Special Interest Group on University and College Computing Service) Conf.

Don Greenberg receives the Associate of Collegiate Schools of Architecture (ASCA) Creative Research Award.

Dan Huttenlocher is one of three faculty members (out of 1600) to receive a Cornell Presidential Weiss Fellowship for his contributions to undergraduate education.

Joe Halpern becomes Editor-in-Chief of the Journal of the ACM.

Best paper awards. Bart Selman at AAAI.

Research Awards. NSF Faculty Early Career Development Award: Claire Cardie NSF Presidential Young Investigator Award: Nick Trefethen.

1997-98

Graeme Bailey, Lillian Lee, and Bart Selman join the faculty.

CS grows to 30 faculty and has over 500 computers.

Don Greenberg wins the ASCA Creative Research Award in Architecture.

Juris Hartmanis takes a two-year leave to serve as Assistant Director for Computer and Information Science Engineering at the NSF. During his tenure, he effectively positions NSF and CISE to assume a leadership role in response to the President's Information Technology Advisory Committee report, and is instrumental in shaping the discussion that leads to NSF's Information Technology Research (ITR) program.

Joe Halpern shares the 1997 Gödel Prize with former student Yoram Moses for their landmark paper Knowledge and Common Knowledge in a Distributed Environment.

Stephen Vavasis receives a Guggenheim Fellowship.

David Shmoys becomes Editor-in-Chief of the SIAM Journal of Discrete Mathematics.

Ken Birman publishes Building Secure and Reliable Network Applications (Prentice Hall).

Srinivas Keshav publishes An Engineering Approach to Computer Networking: ATM Networks, the Internet, and the Telephone Network (Addison-Wesley).

Dexter Kozen publishes Automata and Computability (Springer-Verlag).

Fred Schneider publishes On Concurrent Programming (Springer-Verlag).

Nick Trefethen and student David Bau publish Numerical Linear Algebra (SIAM).

Charlie Van Loan publishes Introduction to Scientific Computing: a Matrix Approach Using MATLAB (Prentice Hall).

Research Awards. NSF Faculty Early Career Development Award: Jon Kleinberg. Sloan Research Fellowship: Jon Kleinberg.

New Professional Society Fellows. ACM: Evas Tardos. IEEE: John Hopcroft.

1998-99

Bill Arms (now retired), Ron Elber (1998-07), Klara Kedem (joint with Ben-Gurion University), Andrew Myers, and David Shmoys (joint with ORIE) join the faculty.

With CS providing inspiration and leadership, Cornell starts the Faculty of Computing and Information Science (CIS) to provide a home for interdisciplinary computing work of all kinds. CS, the Program for Computer Graphics, and Digital Libraries are part of it.

Tom Coleman becomes the Director of the Cornell Theory Center.

Joe Halpern is founder and administrator of CoRR (the ACM-sponsored Computing Research Repository).

Undergraduate Pedro Felzenszwalb is the CRA Outstanding Male Undergraduate Award Runner-up. David Liben-Nowell receives an Honorable Mention.

David Gries receives an honorary doctorate from Miami University.

Juris Hartmanis receives an honorary doctorate from the University of Missouri.

Bill Arms becomes Chair of the ACM Publications Board and Editor-in-Chief of D-Lib Magazine.

Fred Schneider is Associate Editor-in-Chief of the IEEE journal Security and Privacy.

Fred Schneider is Chair of the NRC committee that produces the report Trust in Cyberspace (National Academy Press). This report assesses the state-of-the-art procedures for constructing trustworthy networked information systems and proposes directions for research in computer and network security, software technology, and system architecture.

Jon Kleinberg publishes his Web-search work on using hubs and authorities. The research is credited, together with the Brin-Page work on PageRank, with forming the basis for the current generation of Internet search tools.

Research Awards. NSF Faculty Early Career Development Award: Bart Selman. Sloan Research Fellowship: Greg Morrisett.

New Professional Society Fellows. ACM: Ken Birman.

1999-00

Charlie Van Loan becomes Department Chair.

David Schwartz (1999-07) and Gün Sirer join the faculty.

Bob Constable becomes Dean of the Faculty of Computing and Information Science.

Under the leadership of Tom Coleman, Cornell opens CTC-Manhattan, a computational finance academic-industry-government venture on Broad Street in Manhattan.

Carla Gomes receives a Special Recognition Award, Information Directorate, Air Force Research Laboratory, for her groundbreaking research in integrating AI and operations research techniques.

Don Greenberg receives an honorary doctorate from the New Jersey Institute of Technology.

Dexter Kozen is the Class of 1960 Scholar, Williams College.

Juris Hartmanis receives the CRA Distinguished Service Award for his service in the areas of government affairs, professional societies, publications, conferences, and leadership which has a major impact on computing research.

Eva Tardos receives a Guggenheim Fellowship.

Bill Arms becomes Series Editor of the MIT Press series on Digital Libraries and Electronic Publishing.

David Schwartz publishes Introduction to UNIX and Introduction to Maple (Prentice Hall).

Bart Selman is elected to the Executive Council of the AAAI.

Bart Selman's work on phase transitions and complexity is featured in The New York Times.

Former students John Belizaire and Julian Pelenur sell their company, Theory Center, Inc. The one-year-old company, a leading provider of Java Beans, was sold to BEA Systems for $100 million.

Best Paper awards. Greg Morrisett and students Steve Zdancewic and Dan Grossman at the European Assoc for Prog Lang and Systems Conf. Keshav Pingali and his students at ICS (Intl. Conf. of Supercomputing).

Research Awards. NSF Faculty Early Career Development Award: Greg Morrisett. ONR Young Investigator Award: Jon Kleinberg. Packard Fellowship in Science and Engineering: Jon Kleinberg. Sloan Research Fellowship: Bart Selman.

2010-11

Joe Halpern becomes Department Chair.

Nate Foster joins the faculty.

Bill & Melinda Gates Hall, the future home of the CIS departments of CS and IS, is fully funded with no debt before the first shovel hit the ground. Starting with a generous $25 million donation from the Bill & Melinda Gates Foundation, fundraising for the $60 million project concludes in the fall of 2010 with donors from almost every Cornell college.

Claire Cardie and the Cornell eRulemaking Initiative (CeRI) that she co-directs receive the Leading Practices Award, White House Open Government Initiative, for  RegulationRoom.org, an online environment for learning about, discussing, and reacting to selected regulations proposed by federal agencies.

The CUAUV (CU Autonomous Underwater Vehicle) team, advised by Grame Bailey and other Engineering faculty, wins the top prize in the Annual International ROBOSUB competition for the second year in a row.

Ken Birman receives the IEEE Tsutomu Kanai Award for major contributions to distributed computing systems and their applications.

Claire Cardie is named a CRA-W Distinguished Professor, in the NSF-sponsored CAPP-R (Cohort of Associate Professors Project).

Johannes Gehrke receives a Humboldt Research Award.

John Hopcroft receives an Honorary Doctorate of Engineering from the Hong Kong University of Science and Technology, and an Honorary Doctorate from Chongqing University, and is named Einstein Professor at the Chinese Academy of Science. He also receives the IEEE Von Neumann Medal, for outstanding achievements in computer-related science and technology.

Dan Huttenlocher receives the award for the Most Influential Paper, Computer Vision and Pattern Recognition (CVPR), which has made "fundamental contributions to computer vision that have withstood the test of time" over the past ten years.

Fred Schneider is a member of the Norges Tekniske Vitenskapsakademi, Noway’s equivalent of the National Academy of Engineering.

Eva Tardos received the Glover-Klingman Prize, awarded annually for the best paper in Networks.

Tim Teitelbaum and Tom Reps (PhD '82) share the ACM SIGSOFT Retrospective Impact Paper Award for their 1984 paper, The Synthesizer Generator.

Daisy Fan and Charlie van Loan publish Insight Through Computing: A Matlab Introduction to Computational Science and Engineering (SIAM).

Jon Kleinberg and David Easley (Prof of Economics and IS) publish Networks, Crowds, and Markets: Reasoning About a Highly Connected World (Cambridge University Press).

Undergraduate Di Wang is a runner-up, Andrew Owen is a finalist, and Christina Brandt receives Honorable Mention in the CRA Undergraduate Research Competition.

Best Student Paper awards. Stefano Ermon at CP (Conf on Principles and Practice of Constraint Programming).

Best Paper awards. Bobby Kleinberg at ACM EC (Conf on Electronic Commerce).

Research Awards. AFOSR Young Investigator: Rafael Pass. NSF Faculty Early Career Development Award: Hakim Weatherspoon. Sloan Research Fellowship: David Bindel, Hakim Weatherspoon.

New Professional Society Fellows. ACM: Researcher Robbert van Renesse.

2011-12

David Steurer joins the faculty.

Johannes Gehrke receives a Blavatnik Award for Young Scientists from the New York Academy of Sciences.

Johannes Gehrke receives the IEEE Technical Achievement Award for outstanding and innovative contributions to the fields of computer and information science, engineering, or computer technology.

Carla Gomes becomes a Radcliffe Fellow.

Joe Halpern wins the ACM SIGART Autonomous Agents Research Award.

John Hopcroft receives an Honorary Doctorate from Beijing Institute of Technology.

Doug James receives a Guggenheim Fellowship.

Fred B. Schneider is elected to the National Academy of Engineering.

Noah Snavely receives a TR35 Award from MIT’s Technology Review, which recognizes him as one of 35 innovators under the age of 35 who are “tackling important problems in transformative ways".

David Steurer receives an honorable mention in the ACM PhD Thesis Competition.

Eva Tardos receives the Van Wijngaarden Award, given every five years for exceptional contributions to mathematics and computer science.

Ramin Zabih receives the award for the Most Influential Paper at the International Conference on Computer Vision.

Undergraduates Jun Hui Erh, Daniela Retelny, Jacob Bank, and Jiaqi Zhai receive Honorable Mention in the CRA Undergraduate Research Competition.

Claire Cardie's work with PhD students Myle Ott and Yejin Choi and with IS colleague Jeff Hancock on identifying fake on-line reviews appears in a front page article of the New York Times.

Best Paper awards. Ron Elber, at SIGMOD. Johannes Gehrke, researchers Christoph Koch and Lucja Kot, and students Nitin Gupta and Sudip Roy at SIGMOD. Carla Gomes at ICML (Intl Conf on Machine Learning). Doug James at SCA (SIGGRAPH/Eurographics Symp on Computer Animation).

Research Awards. Microsoft Research Faculty Fellowship: Noah Snavely. NSF Faculty Early Career Development Award: Noah Snavely. Sloan Research Fellowship: Rafael Pass, Ashutosh Saxena. Yahoo! Faculty Research and Engagement Award: Johannes Gehrke, Jon Kleinberg, Lillian Lee.

Cornell Bowers launches SoNIC Summer Research Workshop.

2012-13

Deborah Estrin and Serge Belongie join the faculty, based at Cornell Tech in New York City. Michael George and Ross Tate and Michael George join the faculty.

The CUAUV (CU Autonomous Underwater Vehicle) team, advised by Grame Bailey and other Engineering faculty, wins the top prize in the Annual International ROBOSUB competition for the fourth time since 2003.

The CUAir undergrad team, advised by Ashutosh Saxena, wins first in mission performance and second overall at the Office of Naval Research Student Unmanned Air Systems competition (ONR SUAS).

Undergraduate Justin Cheng receives the CRA Outstanding Undergraduate Award (male). Eunsol Choi and Alec Story receive Honorable Mention.

Saikat Guha (PhD '09) receives a TR35 Award from MIT’s Technology Review, which cites him as one of 35 innovators under the age of 35 who are “tackling important problems in transformative ways".

Juris Hartmanis is elected to the National Academy of Sciences (NAS). He also receives CalTech’s Distinguished Alumni Award.

Jon Kleinberg and David Easley (Prof of Economics and IS) are awarded the annual Lanchester Prize for the best contribution to operations research and the management sciences published in English. The prize is in recognition of their book Networks, Crowds, and Markets: Reasoning About a Highly Connected World (Cambridge University Press).

Fred B. Schneider receives the IEEE Emanuel R. Piore Award for his work on cybersecurity.

Eva Tardos is elected to the National Academy of Sciences (NAS) and the Hungarian Academy of Science.

Eva Tardos and Tim Roughgarden (PhD '02) share the Gödel Prize for their paper, How Bad Is Selfish Routing?.

Claire Cardie receives the Outstanding Achievement and Advocacy Award in the area of Education, Department of Computer Science from the University of Massachusetts Amherst "for her key role in integrating computing and information science into education, research, and scholarship ...".

Best Paper awards: Joe Halpern at KR (Conf on Knowledge Representation and Reasoning).

Research Awards. Intel Early Career Faculty Honor Program: Hakim Weatherspoon. Microsoft Research Faculty Fellowship: Ashutosh Saxena. Sloan Research Fellowship: Nate Foster, Noah Snavely.

New Professional Society Fellows. ACM: Bart Selman, Ramin Zabih. AMS: Juris Hartanis, Eva Tardos. IEEE: Joe Halpern, Ramin Zabih.

2013-14

Haym Hirsch becomes Dean of CIS. His academic home is in the Department if Information Sciences.

Cornell Tech, a graduate campus in NYC, opens in January, with Dan Huttenlocher as Dean and Vice Provost.

Gates Hall opens in January 2014, with a dedication ceremony to be held at the CS 50th Anniversary celebration and symposium on 1 October.

The CUAUV (CU Autonomous Underwater Vehicle) team, advised by Grame Bailey and other Engineering faculty, wins the top prize in the Annual International ROBOSUB competition for the fourth time in six years.

Ken Birman and Thomas Joseph (PhD '86) receive the ACM Hall of Fame Award for their paper Exploiting virtual synchrony in distributed systems.

Nate Foster and colleagues win a USENIX Community Award for the best paper, Composing software defined networks, whose code and/or data is made publicly available.

David Gries and the late Wlad Turski are named “Honorary Editors-in-Chief” of IPL for their 40 years of service to the journal.

John Hopcroft receives the Outstanding Research Award of the Web Intelligence Consortium.

Doug James shares a Technical Achievement Oscar from the Academy of Motion Picture Arts and Science with Theodore Kim '01, Nils Thuerey, and Markus for wavelet turbulence software, which generates realistic swirling smoke and fiery explosions.

The above award brings to 11 the number of Technical Oscars made to Cornell graduates and faculty members.

Doug James receives the Katayanagi Emerging Leadership Prize, awarded annually to an individual recognized as an emerging research leader.

Undergraduate Vera Khovanskaya receives the CRA Outstanding Undergraduate Award (female). Jason Chao received Honorable Mention.

Jon Kleinberg receives the ACM SIGKDD Innovations Award, a lifetime achievement honor for technical excellence.

Dexter Kozen receives an ACM/IEEE LICS Test of Time Award.

Hakim Weatherspoon becomes a Kavli Frontiers Fellow, National Academy of Sciences, and is a speaker at the Kavli Frontiers of Science 16th Chinese-American Symposium in Beijing in 2014.

David Shmoys and David Williamson receive the annual Lanchester Prize for the best contribution to operations research and the management sciences published in English, in recognition of their book The Design of Approximation Algorithms. (Cambridge University Press.)

Ramin Zabih receives the Koenderink Prize for Fundamental Contributions in Computer Vision.

Changxi Zheng (PhD '12) is named one of “30 under 30” innovators in science and healthcare by Forbes Magazine.

Undergraduate Carolyn Anderson is a Finalist in the CRA Undergraduate Research Competition.

Best Student Paper awards: Hema Koppula at RSS.

Best Paper awards. Andrew Myers and student Chinawat Isradisaikul at PLDI. Andrew Myers, student Owen Arden, MIT co-authors Alvin Cheung, Sam Madden, and Armando Solar-Lezama at CIDR.

Research Awards. PECASE (Presidential Early Career Awards for Scientists and Engineers): Noah Snavely. NSF Faculty Early Career Development Awards: Nate Foster, Ashutosh Saxena.

New Professional Society Fellows. AAAI: Lillian Lee. AAAS: Carla Gomes. ACM: Jon Kleinberg, Andrew Myers.

2014-15

Fred Schneider becomes Department Chair.

Jon Kleinberg becomes Interim Dean of CIS.

Erik Andersen, Siddhartha Chaudhuri, Michael Clarkson, Ross Knepper, and Karthik Sridharan join the faculty.

LinkedIn ranks Cornell the third best school in the United States for software developers.

Bill Gates dedicates Gates Hall on 1 October and holds a 1-hour discussion with Cornell President Skorton. On 1-2 October, CS holds its 50th anniversary symposium.

The Cornell student game APSIS is awarded the “Most Promising Indie” at Casual Connect 2014.

The CUAUV (CU Autonomous Underwater Vehicle) team, advised by Grame Bailey and other Engineering faculty, wins the top prize in the Annual International ROBOSUB competition for the fifth time in six years.

Bob Constable receives the Herbrand Award for Distinguished Contributions to Automated Reasoning.

Juris Hartmanis is a co-recipient of the ACM’s Distinguished Service Award, for his definitive role in establishing CS as a vibrant subject.

David Kempe (PhD ’03), Jon Kleinberg, and Eva Tardos receive the KDD 2014 inaugural Test of Time Award for their paper Maximizing the Spread of Influence through a Social Network.

Jon Kleinberg wins the Harvey Prize, given each year by the Technion-Israel Institute of Technology for breakthroughs in science.

Ashtosh Saxena wins the Early Career Spotlight Award at the Robotics Science and Systems Conference.

Noah Snavely receives the ACM SIGGRAPH Significant New Researcher Award.

Andrew Noyes receives Honorable Mention in the CRA Undergraduate Research Competition.

Lillian Lee is co-editor-in-chief of the Transactions of the Association for Computational Linguistics (TACL).

Giles Brassard (Phd '79) receives Canada's highest scientific honor, the Officer of the Order of Canada, for his work in computer science, in particular as the founder of quantum information science in Canada.

Best Paper awards: Kavita Bala, with Manohar Srikanth and Fredo Durand of MIT, at Expressive Symp Computational Aesthetics. Bobby and Jon Kleinberg, with co-authors Peter Frazier and David Kempe, at EC (ACM Economics and Computation Conf). Ross Knepper, Robotics Science and Systems Conf. Noah Snavely and student Kevin Matzen at ECCV (European Conf on Computer Vision).

Research Awards. Microsoft Research Faculty Fellowship: David Steurer. NSF Career Award: Ross Tate.

2018-2019

Kavita Bala named chair of computer science. 

BOOM celebrates its 20th Anniversary.

arXiv looks to the future, moves to Cornell CIS.

Bart Selman named President-Elect of AAAI.

New Artificial Intelligence, Policy, and Practice Initiative (APPI) to study AI's impact on decision-making. Study led by Karen Levy, Solon Barocas, Jon Kleinberg, and Helen Nissenbaum. 

Intercampus symposium on machine learning in medicine held in Ithaca on September 28, 28. 

Eshan Chattopadhyay and Austin Benson join the department as assistant professors.

CIS launches The Summer School on Designing Technology for Social Impact.

2019-2020

Chaired by Robbert van Renesse, Cornell CIS and Cornell Tech host first girls-only high school programming contest.

Cornell Blockchain Club kicks off the first blockchain conference by ringing the Nasdaq bell.

Greg Morrisett named dean of Cornell Tech, Jon Kleinberg named interim CIS dean.

Éva Tardos named CIS Associate Dean for Diversity and Inclusion.

Computing and Information Science holds a celebratory academic symposium to mark 20th anniversary.

Distinguished university leaders panel caps off CIS 20th Anniversary Celebration.

Computational Sustainability Conference held at Cornell.

Alumni, industry leaders celebrate Don Greenburg's illustrious career in San Francisco.

Cornell Computer Science celebrates 50 years.

Mini-symposium honors Charlie Van Loan.

Alexander “Sasha” Rush joins faculty as associate professor and Nika Haghtalab joins as assistant professor.

Curran Muhlberger joins as lecturer.