FREE HISTORICAL FIGURES OF COMPUTING DOSSIER

E. Allen Emerson

1954– · Computer Scientist

Computer Scientist

Model checking co-inventor; temporal logic; Turing Award (2007)

Read the complete source-linked dossier →Explore computing history free →