FREE HISTORICAL FIGURES OF COMPUTING DOSSIER

Edmund Clarke

1945–2020 · Computer Scientist

Computer Scientist

Model checking co-inventor; formal verification; Turing Award (2007)

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