Amir Pnueli

Template:Short description Template:Infobox scientist Amir Pnueli (Template:Langx; April 22, 1941 – November 2, 2009) was an Israeli computer scientist and the 1996 Turing Award recipient.

Biography

Pnueli was born in Nahalal, in the British Mandate of Palestine (now in Israel). He attended Tichon Hadash high school in Tel Aviv.<ref>Amir Pnueli biography in the official Israel Prize site (in Hebrew)</ref> He received a Bachelor's degree in mathematics from the Technion in Haifa, and Ph.D. in applied mathematics from the Weizmann Institute of Science (1967).<ref>Template:Cite web</ref> 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. His works in computer science focused on temporal logic and model checking, particularly regarding fairness properties of concurrent systems.<ref name="nyt">Template:Citation.</ref>

He returned to Israel as a researcher; he was the founder and first chair of the computer science department at Tel Aviv University. He became a professor of computer science at the Weizmann Institute in 1981. From 1999 until his death, Pnueli also held a position at the Computer Science Department of New York University, New York, U.S.<ref name="nyt"/> He's also served as an associate professor at the University of Pennsylvania and the Joseph Fourier University.<ref>Template:Cite web</ref>

Pnueli also founded two startup technology companies during his career. He had three children and, at his death, had four grandchildren.<ref name="nyt"/>

Pnueli died on November 2, 2009, of a brain hemorrhage.<ref name="nyt"/><ref>Template:Citation.</ref><ref>Template:Citation.</ref>

Awards and honours

• In 1996, Pnueli received the Turing Award for seminal work introducing temporal logic into computing science and for outstanding contributions to program and systems verification.
• On May 30, 1997, Pnueli received an honorary doctorate from the Faculty of Science and Technology at Uppsala University, Sweden.<ref>Template:Cite web</ref>
• In 1999, he was inducted as a Foreign Associate of the U.S. National Academy of Engineering.
• In 2000, he was awarded the Israel Prize, for computer science.<ref>Template:Cite web</ref><ref>Template:Cite web</ref>
• In 2007, he was inducted as a Fellow of the Association for Computing Machinery.
• The Weizmann Institute of Science presents a memorial lecture series in his honour.<ref>Template:Cite web</ref>

See also

• List of Israel Prize recipients

External links

• New York University homepage
  • Short biography
• Weizmann Institute homepage
  • Profile
• Template:DBLP