Search results
We did not find results for: Amir Pnueli.
Check spelling or type a new query.
We did not find results for: Amir Pnueli.
Check spelling or type a new query.
Israeli computer scientist researching temporal logic, model checking, and concurrent systems
Amir Pnueli (April 22, 1941 – November 2, 2009) was an Israeli computer scientist and the 1996 Turing Award recipient. Wikipedia