Amir Pnueli
Amir Pnueli | |
|---|---|
 | |
| Born | April 22, 1941 |
| Died | 2 November 2009 (aged 68) |
| Nationality | Israeli |
| Awards | Turing Award, Israel Prize |
| Scientific career | |
| Fields | Computer Science |
| Institutions | Weizmann Institute New York University |
Amir Pnueli (Hebrew: אמיר פנואלי; April 22, 1941 – November 2, 2009) was an Israeli computer scientist.
Biography
Pnueli was born in Nahalal, Israel and received a Bachelor's degree in Mathematics from 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. His works in computer science focused on temporal logic and model checking, particularly regarding fairness properties of concurrent systems.[1]
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..[1]
Pnueli also founded two startup technology companies during his career. He had three children and, at his death, had four grandchildren.[1]
Pnueli died on November 2, 2009 of a brain hemorrhage.[1][2][3]
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.
- 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. [4][5]
- In 2007, he was inducted as a Fellow of the Association for Computing Machinery.
See also
References
- ^ a b c d Chang, Kenneth (November 14, 2009), "Amir Pnueli, Pioneer of Temporal Logic, Dies at 68", New York Times.
- ^ "NYU Computer Science Professor Amir Pnueli, 68", Dr. Dobb's, November 5, 2009.
- ^ NYU Professor Amir Pnueli, 68, Distinguished Computer Scientist, New York University Computer Science Department, retrieved 2009-11-08.
- ^ "Israel Prize Official Site (in Hebrew) – Recipient's C.V."
- ^ "Israel Prize Official Site (in Hebrew) – Judges' Rationale for Grant to Recipient".
External links
- 1941 births
- 2009 deaths
- American computer scientists
- Israeli computer scientists
- Israeli academics
- Israel Prize in computer sciences recipients
- Programming language researchers
- Theoretical computer scientists
- Turing Award laureates
- Formal methods people
- Fellows of the Association for Computing Machinery
- Tel Aviv University faculty
- Weizmann Institute faculty
- New York University faculty