Home » Information » Awards

Awards given to Cornell CS faculty members and researchers

NSF Career Award

The Career program recognizes and supports the early career-development activities of those teachers-scholars who are most likely to become the academic leaders of the twenty-first century.

  • 2000: Claire Cardie
  • 2002: Johannes Gehrke
  • 2003: Thorsten Joachims
  • 2002: Andrew Myers
  • 2003: Jayavel Shanmugasundaram
  • 2002: Golan Yona

Sloan Research Fellow

Designed to identify those who show the most outstanding prmise of making fundamental contributions to new knowledge. Chosen by the Alfred P. Sloan Foundation.

  • 2003: Johannes Gehrke
  • 1999: Jon Kleinberg
  • 2002: Lillian Lee
  • 1998: J. Gregory Morrisett
  • 2002: Andrew Myers
  • 1999: Bart Selman
  • 1993: Eva Tardos

IBM Faculty Partnership Award

These awards are presented each year to full-time profesors at accredited universities to recognize and foster innovative work in academic education and research.

  • 1990: John E. Hopcroft
  • 2002: Jayavel Shanmugasundaram
  • 2003: Jayavel Shanmugasundaram

European Conference in Computer Vision (ECCA) Best Paper Award

These award is presented annually to the author of the best paper at the conference.

  • 2002: Ramin Zabih

Grand Medal of the Latvian Academy of Sciences (Lielo Medalu)

The highest award given by the Academy to scientists of Latvia and of foreign countries for their outstanding creative contribution.

  • 2001: Juris Hartmanis

The ACM Turing Award

The ACM Turing Award is the computer science equivalent of the Nobel Prize, given for outstanding, original research with an impact.

  • 1993: Juris Hartmanis
  • 1986: John E. Hopcroft

The Fulkerson Prize

This award is given jointly by the AMS and the Math Program Society. It is given annually, for a single paper published in the previous six years in discrete mathematics.

  • 1988: Eva Tardos

The Fox Prize

A highly prestigious award given to a person under 31 in the field of numerical analysis. The winner is chosen based on the quality of the work as well as a presentation of that work

  • 1993: Yuying Li

The Godel Prize

The ACM/EATCS Godel Prize is awarded annually for an outstanding paper (or collection of papers) in the area of theoretical computer science that appeared in a journal during the previous six years.

  • 1997: Joseph Y. Halpern

Fulbright Scholar

Envisioned by Senator J. William Fulbright, and signed into law in 1946, the Fulbright program promotes "mutual understanding between people of the United States and the people of other countries of the world."

  • 2002: Joseph Y. Halpern

Guggenheim Fellow

These prestigious fellowships are given in all fields, and not only to academicians. Generally, they are for a year. Between 1 and 4 computer scientists have been receiving a Guggenheim Fellowship each year.

  • 1991: Robert L. Constable
  • 2002: Joseph Y. Halpern
  • 1992: Dexter Kozen
  • 1999: Eva Tardos
  • 1997: Stephen A. Vavasis
  • 1983: David Gries

Doctor of Humanities degree, Honoris Causa, University of Seattle

Honarary degree.

  • 1990: John E. Hopcroft

Honorary Doctoral Degree, Dr.h.c., Univ. of Dortmund, Germany

Honarary degree.

  • 1995: Juris Hartmanis

Honorary Doctor of Laws, Daniel Webster College, Nashua, NH

Honarary degree.

  • 1996: David Gries

Honorary Doctor of Humane Letters Honoris Causa from the Univ. of Missouri-Kansas City

Honarary degree.

  • 1998: Juris Hartmanis

Honorary Degree of Doctor of Science from Miami University

Honarary degree.

  • 1998: David Gries

Honorary Doctor of Sciences degree from the University of Newcastle upon Tyne (UK)

Honarary degree.

  • 2003: Fred B. Schneider

Householder Prize

Given for the best Ph.D. thesis in numerical analysis.

    NSF Presidential Young Investigator Award

    Prestigious Research-Fund Awards to Young Faculty.

    • 1995: Daniel P. Huttenlocher
    • 1994: Keshav K. Pingali
    • 1994: David B. Shmoys
    • 1996: Eva Tardos
    • 1995: Stephen A. Vavasis

    NSF Faculty Early Career Development Award

    Prestigious Research-Fund Awards to Young Faculty.

    • 2003: Thorsten Joachims
    • 2001: Jon Kleinberg
    • 1999: J. Gregory Morrisett
    • 2002: Bart Selman
    • 2003: Jayavel Shanmugasundaram

    ONR Young Investigator Award

    Prestigious Research-Fund Awards to Young Faculty.

    • 1999: Jon Kleinberg

    Burroughs-Wellcome Fellow from the Program in Mathematics and Molecular Biology

    Award given to support the continued expansion of the applications of mathematics, including statistics and computer science, to molecular biology.

    • 2000: Golan Yona

    David and Lucille Packard Foundation Fellow in Science and Engineering

    The Packard Fellowships for Science and Engineering allow the nation's most promising young professors to pursue their science and engineering research.

    • 1999: Jon Kleinberg
    • 1995: Eva Tardos

    ACM Fellow

    Established by Council in 1993 to recognize and honor outstanding ACM members for their achievements in computer science and information technology and for their significant contributions to the mission of the ACM.

    • 1998: Kenneth P. Birman
    • 1995: Robert L. Constable
    • 2002: Joseph Y. Halpern
    • 1994: Juris Hartmanis
    • 1994: John E. Hopcroft
    • 1995: Fred B. Schneider
    • 1998: Eva Tardos

    IEEE Fellow

    Conferred by the Board of Directors upon a person with an extraordinary record of accomplishments in any of the IEEE fields of interest.

    • 1987: John E. Hopcroft

    American Academy of Arts and Sciences Fellow

    An international learned society composed of the world's leading scientists, scholars, artists, business people, and public leaders.

    • 1987: John E. Hopcroft
    • 2001: Eva Tardos

    AAAI Fellow

    To recognize individuals who have made significant, sustained contributions---usually over at least a ten-year period---to the field of artificial intelligence.

    • 1993: Joseph Y. Halpern

    AAAS Fellow

    To recognize research in the interaction of science, technology and government in the United States and around the world.

    • 1981: Juris Hartmanis
    • 1987: John E. Hopcroft
    • 1995: Fred B. Schneider
    • 2002: Bart Selman

    American Institute of Medical and Biological Engineering

    To recognize a demonstrable record of individual achievement in research, development, education, manufacturing, public service, technological leadership and/or clinical practice as they relate to medical and biological engineering.

    • 1992: Donald P. Greenberg

    National Academy of Sciences

    Award to recognize outstanding achievements in science.

    • 2001: Jon Kleinberg

    Computing Research Association Distinguished Service Award

    This award recognizes service in the areas of government affairs, professional societies, publications or conferences, and leadership that has a major impact on computing research.

    • 2000: Juris Hartmanis

    Members of the National Academy of Engineering

    To honor extraordinary contributions to engineering and society.

    • 1991: Donald P. Greenberg
    • 1989: Juris Hartmanis
    • 1989: John E. Hopcroft

    Outstanding Innovation Award

    (for work on reasoning about knowledge)

    • 1987: Joseph Y. Halpern
    • 1988: Joseph Y. Halpern

    Outstanding Innovation Award

    (for work on clock synchronization)

      IBM First Plateau Invention Achievement Award

      Industry award for patent.

      • 1985: Joseph Y. Halpern

      Allen Newell Medal for Research Excellence

      The Newell Medals were created in honor of the late Allen Newell, who helped to co-found the fields of artificial intelligence and cognitive psychology with the late Herbert Simon.

      • 2001: J. Gregory Morrisett

      Advisor of Tom Reps, ACM Best Dissertation Award

      Advisors of winners of Best Dissertation Award

      • 1984: Tim Teitelbaum

      Advisor of T.V. Raman, ACM Best Dissertation Award

      Advisors of winners of Best Dissertation Award

      • 1995: David Gries

      Advisor of Nir Friedman, whose PhD won the First Annual FoLLI Prize

      (for the Outstanding Dissertation in Language, Logic, and Computation)

      • 1998: Joseph Y. Halpern

      Senior Distinguished Scientist Award, Alexander von Humboldt Foundation, Germany

      An award established by the Federal Republic of Gemany for the promotion of international research cooperation.

      • 1994: Juris Hartmanis

      Professor at Large

        IBM Partnership Award

        These highly competitive awards are renewable by IBM yearly for up to three years; they recognize the quality of faculty research programs and their importance to industry.

          Best Research Paper at KDD-2003 (Ninth Annual SIGKDD International Conference on Knowledge Discovery and Datamining)

          "Maximizing the Spread of Influence through a Social Newtork," with David Kempe and Eva Tardos, 2003.

          • 2003: Jon Kleinberg
          • 2003: Eva Tardos

          Best Paper Award 18th ACM Symposium on Operating Systems Principles (SOSP), 2001

          With S. Zdancewic, L. Zhang, and N. Nystrom

          • 2001: Andrew Myers

          Superior Accomplishment Award

          U.S. Naval Weapons Laboratory, Dahlgern, Va.

          • 1961: David Gries

          ACM Programming Systems and Languages Paper Award (with S. Owicki)

          • 1977: David Gries

          Guggenheim Fellow

            AAAS Fellow

            • 1990: David Gries

            Computing Research Association Distinguished Service Award

            • 1991: David Gries

            ACM-SIGCSE Award

            for Outstanding Contributions to Computer Science Education

            • 1991: David Gries

            ACM Fellow

            (Charter member: among the first group to be inducted)

            • 1994: David Gries

            ACM Karl V. Karlstrom Outstanding Educator Award

            • 1995: David Gries
            [ About Us · Contact Us · Site Map ]