Amir Pnueli
About
Israeli computer scientist (1941–2009) researching temporal logic, model checking, and concurrent systems.
Approval Rating
Not yet rated
Ratings are closed for this figure. Approval ratings apply to people currently in public life.
Israeli computer scientist (1941–2009) researching temporal logic, model checking, and concurrent systems.
Not yet rated
Ratings are closed for this figure. Approval ratings apply to people currently in public life.