Photo of Amir Pnueli: Israeli computer scientist (1941–2009) researching temporal logic, model checking, and concurrent systems
🇮🇱

Amir Pnueli, d.68

Scientist ♂️

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

SuperSearch Birthdays