E. Allen Emerson: Quick Facts


Facts

Also Known As Ernest Allen Emerson II
Awards And Honors Turing Award (2007)
Subjects Of Study model checking software

default image
Edmund M. Clarke
American computer scientist
Joseph Sifakis, winner of the 2007 A.M. Turing Award in computer science.
Joseph Sifakis
French computer scientist
Vinton Gray Cerf
Vinton Cerf
American computer scientist
Computer interface pioneer Douglas EngelbartEngelbart holding a video conference on the right side of the computer screen while working on a document with a remote collaborator during a 1968 computer conference in San Francisco, California.
Douglas Engelbart
American inventor
Minsky, Marvin
Marvin Minsky
American mathematician and computer scientist
default image
Robert Kahn
American computer scientist
Edward Feigenbaum
Edward Albert Feigenbaum
American systems analyst
default image
Allen Newell
American computer scientist
default image
Leslie Valiant
American computer scientist
default image
Fred Brooks
American computer scientist
Lamport, Leslie
Leslie Lamport
American computer scientist
default image
Ken Thompson
American computer scientist
default image
Judea Pearl
Israeli-American computer scientist
default image
Michael Oser Rabin
Israeli American mathematician
default image
James Nicholas Gray
American computer scientist
default image
Charles Bachman
American computer scientist
Adleman, Leonard M.
Leonard M. Adleman
American computer scientist
Ritchie, Dennis M.
Dennis M. Ritchie
American computer scientist
Stonebraker, Michael
Michael Stonebraker
American computer engineer
Richard Karp
Richard Karp
American mathematician and computer scientist