Amir Pnueli

Amir Pnueli (Hebrew: אמיר פנואלי; April 22, 1941 – November 2, 2009) was an Israeli computer scientist and the 1996 Turing Award recipient.

Pnueli was born in Nahalal, in the British Mandate of Palestine (now in Israel) and received a Bachelor's degree in mathematics from the Technion in Haifa, and Ph.D. in applied mathematics from the Weizmann Institute of Science (1967).

He switched to computer science during a stint as a post-doctoral fellow at Stanford University.

His works in computer science focused on temporal logic and model checking, particularly regarding fairness properties of concurrent systems.

[2] He returned to Israel as a researcher; he was the founder and first chair of the computer science department at Tel Aviv University.