Amir Pnueli - Definition and Overview

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, Pneuli received a Bachelor's degree in Mathematics at 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 a professor at the Weizmann Institute.

Pnueli has also founded two startup technology companies.

He is married and has 3 children and 1 grandchild.

See also

• Pnueli's Weizmann home page (http://www.wisdom.weizmann.ac.il/~amir/)
• Important publications in Formal verification