Amir Pnueli
Amir Pnueli | |
---|---|
Doctoral students |
Amir Pnueli (Hebrew: אמיר פנואלי; April 22, 1941 – November 2, 2009) was an Israeli computer scientist and the 1996 Turing Award recipient.
Biography
Pnueli was born in
concurrent systems.[2]
He returned to Israel as a researcher; he was the founder and first chair of the computer science department at
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.[2] He's also served as an associate professor at the University of Pennsylvania and the Joseph Fourier University.[3]
Pnueli also founded two startup technology companies during his career. He had three children and, at his death, had four grandchildren.[2]
Pnueli died on November 2, 2009, of a
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.[6]
- 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.[7][8]
- 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.[1]
See also
References
- ^ "Amir Pnueli". The Mathematics Genealogy Project. Retrieved 19 September 2022.
- ^ a b c d Chang, Kenneth (November 14, 2009), "Amir Pnueli, Pioneer of Temporal Logic, Dies at 68", The New York Times.
- ^ "AMIR PNUELI". amturing.acm. Retrieved 14 August 2023.
- Dr. Dobb's, November 5, 2009.
- ^ NYU Professor Amir Pnueli, 68, Distinguished Computer Scientist, New York University Computer Science Department, archived from the original on 9 November 2009, retrieved 2009-11-08.
- ^ "Honorary doctorates - Uppsala University, Sweden". 9 June 2023.
- ^ "Israel Prize Official Site (in Hebrew) – Recipient's C.V."
- ^ "Israel Prize Official Site (in Hebrew) – Judges' Rationale for Grant to Recipient".
External links
- New York University homepage
- Weizmann Institute homepage
- Amir Pnueli at DBLP Bibliography Server