Category:Amir Pnueli

**Amir Pnueli**
	Israeli computer scientist (1941–2009) researching temporal logic, model checking, and concurrent systems
	Upload media
	Wikipedia
Name in native language	אמיר פנואלי;
Date of birth	22 April 1941; Nahalal
Date of death	2 November 2009; New York City
Manner of death	natural causes;
Cause of death	cerebral hemorrhage;
Country of citizenship	Israel;
Educated at	Technion – Israel Institute of Technology; Weizmann Institute of Science;
Doctoral advisor	Chaim L. Pekeris;
Doctoral student	Dan Zachai; Mordechai Ben-Ari; Nissim Francez; Asher Wilk; Lenore Zuck; Yonit Kesten; Yair Eran; Oded Maler; Orna Lichtenstein; Roni Rosner; Rivka Zarhy-Sherman; Dov Dori; Giora Slutzki; Doron A. Peled; Hillel Kugler; Ofer Strichman; Gera Weiss; Raya (Rosenfeld) Leviathan; Yi Fang; Elad Shahar; …;
Occupation	computer scientist; engineer; pedagogue; university teacher; mathematician;
Employer	New York University; Tel Aviv University; New York University Tandon School of Engineering;
Member of	Israel Academy of Sciences and Humanities; Association for Computing Machinery; National Academy of Engineering (1999–);
Field of work	computer science;
Work location	Weizmann Institute of Science;
Award received	Israel Prize (2000); Turing Award (1996); ACM Software System Award (2007); ACM Fellow (2007);
	official website
Authority file
	Q92649; ISNI: 0000000083864015; VIAF ID: 59337776; GND ID: 1076344267; Library of Congress authority ID: n85817647; Bibliothèque nationale de France ID: 146146775; IdRef ID: 066852196; NL CR AUT ID: xx0013901; Nationale Thesaurus voor Auteursnamen ID: 068748698; NUKAT ID: n94300055; National Library of Israel J9U ID: 987007392321405171; Mathematics Genealogy Project ID: 18997
	Reasonator; Scholia; Wikidocumentaries; PetScan; statistics; WikiMap; Locator tool; KML file; Search depicted;

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 3 files are in this category, out of 3 total.

Amir Pnueli FLoC 2006 (cropped).jpg 375 × 400; 65 KB
Amir Pnueli FLoC 2006.jpg 640 × 432; 109 KB
Amir Pnueli.jpg 436 × 480; 34 KB