Category:Amir Pnueli

From Wikimedia Commons, the free media repository
Jump to navigation Jump to search
Amir Pnueli 
Israeli computer scientist (1941–2009) researching temporal logic, model checking, and concurrent systems
Amir Pnueli.jpg
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); امیر پنوئلی (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.