- Research News
- Department Life
- Oral History of Cornell CS
- Department Timeline
- Annual Reports
- Job Postings
- Ithaca Info
- Internal info
- CS Colloquium
- CU Tech Colloquium
- Student Colloquium
- SoNIC Workshop
- Conway-Walker Lecture Series
- Salton Lecture Series
- Seminars / Lectures
- Big Red Hacks
- 50th Anniversary Symposium
- Cornell University High School Programming Contest
- Game Design Initiative
Cornell Department of Computer Science
50 Years of Innovation
Since 1965, our department has been an academic leader in the study and science of computing. Cornell has made groundbreaking achievements in distributed computing systems, information retrieval, computational theory, trustworthy computing, artificial intelligence, social networking, and computer graphics. What will we be doing over the next five decades, or even the next five months? To find out, visit our website at www.cs.cornell.edu
Before Computer Science
Dick Conway and Bill Maxwell of Operations Research and Industrial Engineering develop CORC on the Burroughs B-220 and Control Data 1604 to provide a simpler language for teaching than Fortran or Algol. CORC can be described on a single page. CORC is taught beginning in Fall 1962.
In 1963, Cornell forms a committee of three (Anil Nerode, Mathematics, and also Acting Director of the Field of Applied Mathematics, as Chair; Dick Conway, ORIE; and Bob Walker, Mathematics) to develop plans for a Computer Science Department. A $1 million grant from the Sloan Foundation would be used to start and maintain the Department.
As a first step, the committee creates a Graduate Field of Computer Science, which can grant Masters and PhD degrees. Cornell's graduate field system made this possible. The Field was in place before the Department was formed.
Based on the committee's recommendations, the CS Department is set up to report to both the College of Engineering and the College of Arts & Sciences and the CS faculty members are given appointments in both colleges. This visionary step serves CS well, allowing it to develop both scientific and engineering aspects of the field without friction and competition from others.
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.
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).
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).
Bob Constable, Bill Maxwell (joint with ORIE, 1968-74), Howard 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).
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).
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.
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).
Alan Demers (now Principal Research Scientist), Charles Moore (1972-75), and Bob Tarjan (1972-73) join the faculty.
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).
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.
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.
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.
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.
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).
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).
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.
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.
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).
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).
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.
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.
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.
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.
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).
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).
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
Johannes Gehrke joins the faculty.
Ramin Zabih receives a joint appointment with the Cornell Medical School, the first of its kind at Cornell.
The Intelligent Information Systems Institute (IISI) is established, with Carla Gomes as Director.
The US Air Force Research Laboratory /Cornell Information Assurance Institute (IAI) is founded with a $1 million dollar yearly grant from the Air Force Office of Scientific Research (AFOSR), with Fred Schneider as Principal Investigator.
Juris Hartmanis receives the Lielo Medal from the Latvian Academy of Sciences for his outstanding creative contributions.
Eva Tardos is elected to the American Academy of Arts & Sciences.
Fred Schneider chairs the International Review of UK Computer Science Research.
Bill Arms publishes Digital Libraries (MIT Press).
Former undergrads Greg Pass and Frank Wood sell their company, ToFish, to AOL. Greg is now Chief Technology Officer at Twitter.
Best Paper awards. Jon Kleinberg at the ACM Symp Principles of Database Systems.
Research Awards. IBM Faculty Development Award: Johannes Gehrke.
Rich Caruana (2001-09), Daisy Fan, Thorsten Joachims, Jeanna Matthews (2001-04), Radu Rugina (2001-07), Jayavel Shanmugasundaram (2001-06), and and Golan Yona (2001-05) join the faculty.
The national organization Engineers for a Sustainable World is started at Cornell under the direction of Regina Clewlow, CS ’01. In 2014, there are chapters in 40 universities. See www.eswusa.org/
Carla Gomes is elected to the Executive Council of the AIII.
Jon Kleinberg receives the 2001 National Academy of Sciences (NAS) Award for Initiatives in Research. Jon was cited for "his development of deep and innovative algorithms to solve fundamental problems in network, information extraction, and discrete optimization".
Greg Morrisett wins an Allen Newell Award for Research Excellence, given by Carnegie Mellon University.
Best Paper awards. Andrew Myers and students Steve Zdancewic, Lantian Zheng, and Nathaniel Nystrom at SOSP (Symp Operating Systems Principles).
Research Awards. IBM Faculty Partnership Award: Johannes Gehrke. NSF Faculty Early Career Development Award: Jon Kleinberg.
New Professional Society Fellows. AAAI: Bart Selman. ACM: David Shmoys.
Kavita Bala and Steve Marschner join the faculty
Fred Schneider chairs the NSF Information Technology Research Program Review.
Undergraduate Allegra Angus receives the CRA Outstanding Female Undergraduate Research Award.
Graeme Bailey is among the first four winners of the Cornell University Kendall S. Carpenter Memorial Advising Award.
Joe Halpern receives a Guggenheim Fellowship.
Researcher Carl Lagoze, with three others, defines the Open Archives Initiative Protocol for Metadata Harvesting (OAI-PMH). The work has led to renewed interest in shared metadata and increased ability to locate relevant digital assets regardless of geographical location.
Tim Roughgarden (PhD '02) receives honorable mention in the ACM PhD thesis competition and receives the MPS Tucker Prize. His advisor is Eva Tardos.
PhD student Ioannis Vetsikas and his software whitebear wins first place in the Trading Agent Competition.
Daniela Rus (PhD '92) and Sendhil Mullainathan (BA '93) win the MacArthur Genius Award.
Best Student Paper awards. Tim Roughgarden at STOC (Symp on Theory of Computing).
Best Paper awards. Researcher Donna Bergmark at the ACM Joint Conf on Digital Libraries. Ramin Zabih and student Vladimir Kolmogorov at the European Conf on Computer Vision.
Research Awards. IBM Faculty Partnership Award: Jayavel Shanmugasundaram. IBM Outstanding Innovation Award: Jon Kleinberg. NSF Faculty Early Career Development Award: Johannes Gehrke, Bart Selman, Andrew Myers, Golan Yona. Sloan Research Fellowship: Lillian Lee, Andrew Myers.
New Professional Society Fellows. AAAS: Don Greenberg. ACM: Joe Halpern, Bart Selman.
Paul Francis (2003-08) and Uri Keich (2003-07) join the faculty.
David Gries becomes Associate Dean of Engineering.
CS offers an undergrad Information Science major in Arts & Sciences.
The Cornell Game Design Initiative is formed under the direction of David Schwartz.
Bob Constable is elected to the CRA Board.
Fred Schneider co-chairs the Microsoft Trustworthy Computing Academic Advisory Board.
The CS Programming Team wins honorable mention in the world finals at the ACM meeting in the Czech Republic.
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.
Omar Khan receives the CRA Outstanding Male Undergraduate Research Award. Noah Snavely of the University of Washington, who joins CS the next year, is the runner-up.
Undergrad Eugene Lee takes first place in a national Intel Student Research Contest. Lee's project, supervised by Kavita Bala, tackles the challenge of producing high-quality, interactive rendering of sophisticated graphics, such as those used in movies or computer games.
Steve Marschner shares a Technical Achievement Award from the Academy of Motion Picture Arts and Science with Henrik Jensen and Pat Hanrahan. Their model of subsurface scattering of light in translucent materials was most famously to create the character Gollum in The Lord of the Rings trilogy.
Fred Schneider receives an honorary doctorate from the University of Newcastle upon Tyne, UK.
Eva Tardos becomes editor-in-chief of the SIAM Journal on Computing.
Charlie van Loan receives the Cornell McCormick Advising Award.
Bill Arms becomes series editor of the MIT Press Series on Digital Libraries and Electronic Publishing.
Kavita Bala publishes Advanced Global Illumination (AK Peters) with Philippe Bekaert, and Phil Dutre.
Lillian Lee's work with postdoc Regina Barzilay on a system that learns to paraphrase is featured in The New York Times.
Joe Halpern publishes Reasoning About Uncertainty (MIT Press).
Best Paper awards. Jon Kleinberg, Eva Tardos, and student David Kempe at ACM SIGKDD.
Research Awards. NSF Faculty Early Career Development Award: Jayavel Shanmugasundaram, Thorsten Joachims. Sloan Research Fellowship: Johannes Gehrke.
New Professional Society Fellows. ACM: Dexter Kozen.
Juris Hartmanis becomes Senior Associate Dean of CIS.
CS offers an undergrad degree in Information Science, Systems, and Technology in Engineering, jointly with Operations Research & Industrial Engineering.
The PhD program in Information Science is approved.
The new Cornell Library Collaborative Learning Computer Lab (CL3), designed by David Schwartz, is inaugurated.
Dick Conway is honored by the scholarly journal Management Science for his seminal research in computer simulation which "established the research agenda for the simulation field for decades".
Johannes Gehrke receives a Cornell University Provost's Award for Distinguished Scholarship.
Researcher Carl Lagoze receives the Frederick G. Kilgour Award from the Library Information Technology Association (LITA). Lagoze's research, the citation says, "has led to significant achievements in the areas of distributed digital collections, the harvesting of metadata, and the establishment of open standards."
Once again, PhD student Ioannis Vetsikas and his software whitebear win first place in the Trading Agent Competition. From 2001 to 2005, his worst finish is third.
David Gries publishes Multimedia Introduction to Programming Using Java (Springer-Verlag), with his son, Paul.
Best Paper awards. Lillian Lee with Regina Barzilay at the Human Language Technology Conf. Carla Gomes and Bart Selman at the Conf on Principles and Practice of Constraint Programming.
Research Awards. NSF Faculty Early Career Development Award: Doug James (while at CMU), Rich Caruana, Steve Marschner.
New Professional Society Fellows. INFORMS: Eva Tardos.
Bobby Kleinberg joins the faculty.
Tom Coleman leaves to become Dean of Faculty of Mathematics at Waterloo.
Fred Schneider is named chief scientist of TRUST (Team for Research in Ubiquitous Secure Technologies), a new five-university NSF Science and Technology Center.
In its annual review of " Technology Research Advances of 2004", Technology Research News magazine includes work by two CS groups. Dan Huttenlocher, Jon Kleinberg, undergraduate Tony Novak, and colleague Jon Aizen, devised a way to measure users' reactions to an item description; and Lillian Lee and postdoc Regina Barzilay developed software that picks up the topic structure of whole documents to generate more accurate automatic summaries.
John Hopcroft receives the 2005 IEEE Harry Goode Memorial Award for "fundamental contributions to the study of algorithms and their applications in information processing".
Doug James is listed among Popular Science magazine’s Annual Brilliant Ten, which is awarded to the most impressive scientists in the US.
Jon Kleinberg receives a MacArthur Genius Award.
Undergraduate Paul Shafer receives an Honorable Mention in the CRA Undergraduate Research Award competition.
Kavita Bala and Phil Dutre edit the book Rendering Techniques (Springer Verlag).
Jon Kleinberg and Eva Tardos publish Algorithm Design (Addison-Wesley).
Best Student Paper awards. Thomas Finley at ICML. Alexandru Niculescu-Mizil at ICML. Filip Radlinksi at KDD.
Best Paper awards. Thorsten Joachims at ICML. Jon Kleinberg and students Jure Leskovec and Christos Faloutsos at KDD.
Research Awards. IBM Faculty Development Award: Keshav Pingali.
New Professional Society Fellows. AAAS: Joe Halpern.
Eva Tardos becomes Department Chair.
Doug James and Rafael Pass (now based at Cornell Tech) join the faculty.
Jon Kleinberg receives the 2006 Rolf Nevanlinna Prize for his “deep, creative, and insightful contributions to the mathematical theory of the global information environment.”.
Eva Tardos wins the George B. Dantzig Prize from SIAM.
Undergraduate Yevgeniy Medynskiy is a Finalist in the CRA Undergraduate Research Award competition.
Dexter Kozen publishes Theory of Computation (Springer Verlag).
Best Paper awards. Carla Gomes, student Ashish Sabharwal, and Bart Selman at AAAI. Joe Halpern at KR. Thorsten Joachims at KDD. John Kleinberg at IPSN.
Research Awards. Sloan Research Fellowship: Doug James, Steve Marschner.
New Professional Society Fellows. AAAS: Jon Kleinberg.
Christoph Koch (2007-2010) and Walker White join the faculty.
Fred Schneider is elected to the Board of Directors of the Computing Research Association (CRA) and becomes Chair of the Government Affairs Committee.
Graeme Bailey receives a Cornell Presidential Weiss Fellowship for his contributions to undergrad education.
Ed Clarke (PhD '76) shares the ACM Turing Award with colleagues E. Allen Emerson and Joseph Sifakis, “for their role in developing model-checking into a highly effective verification technology that is widely adopted in the hardware and software industries”.
John Hopcroft receives the CRA Distinguished Service Award.
Claire Cardie co-founds Manhattan-based Appinions, Inc. to develop a platform for fine-grained sentiment analysis of text. Among the clients of Appinions are Dell, The Economist, Xerox, Nissan, and ebay.
Eva Tardos is elected to the National Academy of Engineering.
Fred Schneider receives an ACM SIGOPS award for the most influential paper on operating systems over the past ten years.
Gün Sirer is listed among Popular Science’s Annual Brilliant Ten, which is awarded to the most impressive scientists in the US.
Undergraduates Kelly Conway and Evan Herbst receive Honorable Mention in the CRA Undergraduate Research Competition.
Eva Tardos, Tim Roughgarden (PhD '02), and colleagues Noam Nisan and Vijay Vazirani publish Algorithmic Game Theory (Cambridge University Press, 2007).
Best Student Paper awards. Daria Sorokina at ECML (European Conf on Machine Learning).
Best Paper awards. Doug James at SCA (SIGGRAPH/Eurographics Symp on Computer Animation). Jon Kleinberg at WWW (World Wide Web Conf). Andrew Myers and co-authors Stephen Chong, Jed Liu, Xin Qi, K. Vikram, Lantian Zheng, and Xin Zheng at SOSP. Ashutosh Saxena at ICCV 3dRR (Intl. Computer Vision Conf on 3D Representation for Recognition).
Research Awards. NSF Faculty Early Career Development Award: Kavita Bala, Uri Keich, Bobby Kleinberg. NYSTAR Faculty Development Award: Johannes Gehrke.
New Professional Society Fellows. AAAI: Carla Gomes. ACM: Dan Huttenlocher.
Noah Snavely and Hakim Weatherspoon join the faculty.
Under the direction of Lillian Lee, the department drastically changes its undergraduate degree requirements in response to the computing field’s increasingly interdisciplinary nature. The department adopts a "vectors" model, where a vector represents a "line of inquiry" that students may take within CS.
The Institute for Computational Sustainability is founded, with Cornell as its primary campus. The institute, which aims to apply computational techniques to help solve some of the most challenging sustainability problems of our time, is funded by an NSF Expeditions in Computing grant, one of only four such grants awarded in the inaugural year of the Expeditions program.
Claire Cardie is elected to the Executive Council of the AAAI.
Joe Halpern wins the ACM/AAAI Allen Newell Award for fundamental advances in reasoning about knowledge, belief, and uncertainty, and their groundbreaking applications in AI, CS, game theory, economics, and the philosophy of science.
John Hopcroft receives the ACM Karl V. Karlstrom Outstanding Educator Award.
John Hopcroft receives an Honorary Doctorate of Engineering from the University of Sydney.
Jon Kleinberg is elected to the National Academy of Engineering.
Jon Kleinberg wins the ACM/Infosys Foundation Award in Computing Sciences for his contributions to the science of networks and the World Wide Web.
Jon Kleinberg is among Discover Magazine’s 50 most important, influential, and promising people in science.
Jon Kleinberg receives Smithsonian Magazine's America's Young Innovators Award, given to people under the age of 36 who are shaping the world.
Undergraduates Siu Yu Cherie Kwan, Kareem Amin, and Tyler Steele receive Honorable Mention in the CRA Undergraduate Research Competition.
Best Student Paper awards. Alexandru Niculescu-Mizil and Yogeshwer Sharma at COLT (Conf on Learning Theory).
Research Awards. Microsoft New Faculty Fellowship Award: Bobby Kleinberg. NSF Faculty Early Career Development Award: Rafael Pass. Sloan Research Fellowship: Bobby Kleinberg.
New Professional Society Fellows. AAAS: Dexter Kozen.
David Bindel and Ashutosh Saxena 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.
Ken Birman receives the IEEE Technical Committee on Distributed Processing Outstanding Achievement Award.
Joe Halpern is a co-recipient of the annual ACM Edsger W. Dijkstra Prize in Distributed Computing.
John Hopcroft receives an Honorary Degree from the Saint Petersburg State University of Information Technologies, Mechanics, & Optics, Russia’s top national research university.
Thorsten Joachims receives a Fraunhofer-Bessel Award from the Humboldt Foundation.
Jon Kleinberg receives the Katayanagi Emerging Leadership Prize, awarded annually to an individual recognized as an emerging research leader.
Lillian Lee is one of four Cornell faculty members (out of 1600) to win university's Kendall S. Carpenter Memorial Advising Award.
Andrew Myers receives a “test of time” award for the Most Influential Paper on Principles of Programming Languages (POPL), awarded annually to the author(s) of a paper presented at POPL ten years prior.
Undergraduate Tal Rusak receives the CRA Outstanding Male Undergraduate Award.
Noah Snavely receives honorable mention in the ACM PhD thesis competition.
Hakim Weatherspoon receives the Black Engineer of the Year Award at the BEYA STEM Conference.
Best Paper awards. Thorsten Joachims at ECML.
Research Awards. Google Research Award: Christoph Koch. IBM Faculty Development Award: Hakim Weatherspoon. Microsoft New Faculty Fellowship Award: Rafael Pass.
New Professional Society Fellows. IEEE: Fred Schneider. SIAM: Charlie van Loan, Evas Tardos, John Hopcroft.
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.
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.
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.
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.
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.