WikiProject Meteorology, 100 Thousand Years and Counting | Université de Montréal | April 22, 1977 - Edinburgh: April 28, 1843 | Miguel Tremblay | April
Amir Pnueli
- Nahalal: April 22, 1941 celebration
- New York City: November 2, 2009 celebration


-
account_circle Username
Amir Pnueli -
flag Country
Israel -
wc Gender
Male -
badge Full Name
Amir Pnueli -
assignment_ind Surname
-
tv_signin Nickname
-
identity_platform Alias
-
celebration Date of birth
Nahalal: April 22, 1941 -
deceased Rest in Peace
New York City: November 2, 2009 -
language Official Website
http://www.wisdom.weizmann.ac.il/~amir/ -
engineering Field of Work
- computer science
-
local_library teacher
-
person_book Student
-
school Education
- Weizmann Institute of Science
- Technion – Israel Institute of Technology
-
trophy Awards & Honors
- Israel Prize (2000)
- ACM Fellow (2007)
- honorary doctorate from Joseph Fourier University (1998)
- ACM Software System Award (2007)
- Turing Award (1996)
-
social_leaderboard Notable Works
- Israeli computer scientist (1941–2009) researching temporal logic, model checking, and concurrent systems | Israel Prize (2000), ACM Fellow (2007), honorary