FREE HISTORICAL FIGURES OF COMPUTING PROFILE

Amir Pnueli

1941–2009 · Computer Scientist

Computer Scientist

Temporal logic for program verification; model checking foundations; Turing Award