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.