ACL Fellow
Claire Cardie
Association for Computational Linguistics
Research 2015
ACL Fellow
Lillian Lee
Association for Computational Linguistics
Research 2017
Academy of Motion Picture Arts and Sciences Technical Achievement Award
Steve Marschner
Academy of Motion Picture Arts and Sciences
Prominent 2004
Oscar
Doug James
Academy of Motion Picture Arts and Sciences
Prominent 2013
AAAS Fellow
Juris Hartmanis
American Association for the Advancement of Science
Research 1981
AAAS Fellow
John Hopcroft
American Association for the Advancement of Science
Research 1987
AAAS Fellow
David Gries
American Association for the Advancement of Science
Research 1990
AAAS Fellow
Fred B. Schneider
American Association for the Advancement of Science
Research 1992
AAAS Fellow
Donald Greenberg
American Association for the Advancement of Science
Research 2002
AAAS Fellow
Bart Selman
American Association for the Advancement of Science
Research 2003
AAAS Fellow
Joseph Halpern
American Association for the Advancement of Science
Research 2005
AAAS Fellow
Dexter Kozen
American Association for the Advancement of Science
Research 2008