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
AAAS Fellow
Carla Gomes
American Association for the Advancement of Science
Research 2013
AAAS Fellow
Claire Cardie
American Association for the Advancement of Science
Research 2022
AAAI Fellow
Joseph Halpern
Association for the Advancement of Artificial Intelligence
Research 1993