FREE HISTORICAL FIGURES OF COMPUTING PROFILE
E. Allen Emerson
1954– · Computer Scientist
Computer Scientist
Model checking co-inventor; temporal logic; Turing Award (2007)
FREE HISTORICAL FIGURES OF COMPUTING PROFILE
1954– · Computer Scientist
Model checking co-inventor; temporal logic; Turing Award (2007)