Israeli computer scientist (1941–2009) researching temporal logic, model checking, and concurrent systems
Amir Pnueli was an Israeli computer scientist and the 1996 Turing Award recipient.
The six component signals behind the Fame score, and their ranks across the leaderboards.
Similar profiles worth watching