Amir Pnueli
| Amir Pnueli | |
|---|---|
 |
|
| Born | April 22, 1941 Nahalal, British Mandate of Palestine |
| Died | Error: Need valid death date (first date): year, month, day New York, United States |
| Nationality | Israeli |
| Fields | Computer Science |
| Institutions | Stanford Tel Aviv University Weizmann Institute New York University |
| Notable awards | Turing Award (1996) Israel Prize |
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 Nahalal, in the British Mandate of Palestine (now in 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.
- The Weizmann Institute of Science presents a memorial lecture series in his honour.[1]
See also
References
<templatestyles src="Reflist/styles.css" />
Cite error: Invalid <references> tag; parameter "group" is allowed only.
<references />, or <references group="..." />External links
- New York University homepage
- Weizmann Institute homepage
- Amir Pnueli's publications indexed by the DBLP Bibliography Server at the University of Trier
Lua error in package.lua at line 80: module 'strict' not found.
- ↑ 1.0 1.1 1.2 1.3 Lua error in package.lua at line 80: module 'strict' not found..
- ↑ Lua error in package.lua at line 80: module 'strict' not found..
- ↑ Lua error in package.lua at line 80: module 'strict' not found..
- ↑ Lua error in package.lua at line 80: module 'strict' not found.
- ↑ Lua error in package.lua at line 80: module 'strict' not found.
- Pages with reference errors
- Age error
- Articles containing Hebrew-language text
- 1941 births
- 2009 deaths
- Fellows of the Association for Computing Machinery
- Formal methods people
- Israeli Jews
- Israeli computer scientists
- Israel Prize in computer sciences recipients
- Jewish scientists
- Members of the Israel Academy of Sciences and Humanities
- Courant Institute of Mathematical Sciences faculty
- People from Nahalal
- Programming language researchers
- Technion – Israel Institute of Technology alumni
- Tel Aviv University faculty
- Theoretical computer scientists
- Turing Award laureates
- Weizmann Institute faculty
- Polytechnic Institute of New York University faculty
