Amir Pnueli

Israeli computer scientist (1941–2009) researching temporal logic, model checking, and concurrent systems

Amir Pnueli (1941–2009) is profiled here as a computer scientist (Israel) of the Modern era. Browse more computer scientists.