Amir Pnueli

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.

Related Topics:
April 22 - 1941 - Computer scientist - Turing Award - 1996 - Temporal logic

~ ~ ~ ~ ~ ~ ~ ~ ~ ~

Born in Nahalal, Israel, Pnueli 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 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.

Related Topics:
Nahalal - Israel - Bachelor's degree - Technion - Haifa - Ph.D. - Mathematics - Weizmann Institute of Science - Stanford University - Professor - 1981 - 1999 - 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.

~ ~ ~ ~ ~ ~ ~ ~ ~ ~