FREE HISTORICAL FIGURES OF COMPUTING DOSSIER

Joseph Sifakis

1946– · Computer Scientist

Computer Scientist

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

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