Amir Pnueli
From Wikipedia, the free encyclopedia
| Amir Pnueli | |
 |
|
| Born | April 22, 1941 Nahalal, Israel |
|---|---|
| Nationality | Israeli |
| Fields | Computer Science |
| Institutions | Weizmann Institute New York University |
| Notable awards | Turing Award |
Amir Pnueli (Hebrew: אמיר פנואלי; 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 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. In 2000, Pnueli received the Israel Prize, his country's highest honor, for cumputer science. In 2007 he was inducted as a Fellow of the Association for Computing Machinery.
Pnueli has also founded two startup technology companies during his career. He is married with three children and a grandchild.
