FREE HISTORICAL FIGURES OF COMPUTING PROFILE
Edmund Clarke
1945–2020 · Computer Scientist
Computer Scientist
Model checking co-inventor; formal verification; Turing Award (2007)
FREE HISTORICAL FIGURES OF COMPUTING PROFILE
1945–2020 · Computer Scientist
Model checking co-inventor; formal verification; Turing Award (2007)