Amir Pnueli (Hebrew: אמיר פנואלי; born April 22, 1941) is an Israeli computer scientist.
Pnueli was born in Nahalal, 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. His thesis was on the topic of "Calculation of Tides in the Ocean". He switched to computer science during a stint as a post-doctoral fellow at Stanford University. He returned...
more
Amir Pnueli (Hebrew: אמיר פנואלי; born April 22, 1941) is an Israeli computer scientist.
Pnueli was born in Nahalal, 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. His thesis was on the topic of "Calculation of Tides in the Ocean". He switched to computer science during a stint as a post-doctoral fellow at Stanford University. He returned to Israel as a researcher and after a sequence of academic appointments became Professor of Computer Science at the Weizmann Institute in 1981. Since 1999, Pnueli has also held a position at the Computer Science Department of New York University, New York, U.S..
Pnueli has also founded two startup technology companies during his career. He is married with three children and a grandchild.
less
