Open main menu
Amir Pnueli 
Israeli computer scientist (1941–2009) researching temporal logic, model checking, and concurrent systems
Amir Pnueli.jpg
Upload media
Wikipedia-logo-v2.svg  Wikipedia
Date of birth22 April 1941
Nahalal
Date of death2 November 2009
New York City
  • natural causes
Country of citizenship
Educated at
Doctoral advisor
  • Chaim L. Pekeris
Doctoral student
  • Dan Zakay
Occupation
Employer
Member of
Field of work
Work location
Award received
  • Israel Prize (2000)
  • Turing Award (1996)
  • ACM Software System Award (2007)
  • Fellow of the Association for Computing Machinery (2007)
  • ACM Fellow
Official website
Authority control
Blue pencil.svg
Amir Pnueli (es); Amir Pnueli (ast); امیر پنوئلی (azb); Amir Pnueli (de); Амир Пнуели (sr-ec); 阿米尔·伯努利 (zh); Amir Pnueli (tr); 阿米爾·伯努利 (zh-hk); Amir Pnueli (mg); Amir Pnueli (sk); Амір Пнуелі (uk); 阿米爾·伯努利 (zh-hant); 阿米尔·伯努利 (zh-cn); Amir Pnueli (cs); আমির নিউলি (bn); Amir Pnueli (fr); Amir Pnueli (sr-el); 阿米爾·伯努利 (zh-tw); Amir Pnueli (ro); امیر پنوئلی (fa); Амир Пнуели (sr); Amir Pnueli (sl); Amir Pnueli (en); Amir Pnueli (pt-br); 阿米尔·伯努利 (zh-sg); Amir Pnueli (sh); Amir Pnueli (pl); Amir Pnueli (pt); Amir Pnueli (nl); Amir Pnueli (oc); Пнуели, Амир (ru); Amir Pnueli (ca); アミール・プヌーリ (ja); Amir Pnueli (gl); أمير بنولي (ar); 阿米尔·伯努利 (zh-hans); אמיר פנואלי (he) israelisk ingenjör och datavetare (sv); izraelski informatyk (pl); israelsk ingeniør og informatiker (nb); informaticus uit Israël (1941-2009) (nl); israelischer Informatiker (de); israelsk ingeniør og informatikar (nn); Israeli computer scientist (1941–2009) researching temporal logic, model checking, and concurrent systems (en); دانشمند علوم کامپیوتر و مهندس اسرائیلی (fa); izraelský informatik (cs); israelsk ingeniør og informatiker (da) Амир Пнуели, Пнуэли, Амир (ru); Pnueli (de)
English: Amir Pnueli (Hebrew: אמיר פנואלי‎; born 1941) is an Israeli computer scientist who received the Turing Award in 1996.

Media in category "Amir Pnueli"

The following 2 files are in this category, out of 2 total.