Amir Pnueli (born April 22, 1941) is an Israeli computer scientist who received the Turing Award in 1996 for seminal work introducing temporal logic into computing science and for outstanding contributions to program and systems verification .

Born in Nahalal, Israel, Pnueli received a Bachelor s degree in Mathematics at the Technion in Haifa, and Doctor of Philosophy 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. In 1999, Pnueli moved to the Computer Science Department of New York University, New York, USA.

Pnueli has also founded two startup technology companies during his career. He is married with three children and a grandchild.

=See also=

=External links=