Category:Amir Pnueli
Zur Navigation springen
Zur Suche springen
israelischer Informatiker | |||||
Medium hochladen | |||||
Name in Muttersprache |
| ||||
---|---|---|---|---|---|
Geburtsdatum | 22. April 1941 Nahalal | ||||
Sterbedatum | 2. November 2009 New York City | ||||
Todesart |
| ||||
Todesursache | |||||
Land der Staatsangehörigkeit | |||||
Besuchte Bildungseinrichtung | |||||
Promotionsbetreuer |
| ||||
Doktorand |
| ||||
Tätigkeit | |||||
Arbeitgeber | |||||
Mitglied von |
| ||||
Arbeitsgebiet | |||||
Wirkungsort | |||||
Auszeichnung |
| ||||
offizielle Website | |||||
| |||||
![]() |
English: Amir Pnueli (Hebrew: אמיר פנואלי; born 1941) is an Israeli computer scientist who received the Turing Award in 1996.
Medien in der Kategorie „Amir Pnueli“
Folgende 3 Dateien sind in dieser Kategorie, von 3 insgesamt.
-
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
Kategorien:
- Pnueli (surname)
- Amir (given name)
- 1941 births
- 2009 deaths
- Deaths from cerebral hemorrhage
- Israel Prize recipients
- Laureates of the Turing Award
- Fellows of the Association for Computing Machinery
- Computer scientists from Israel
- Programming language researchers
- Model checking (computer science)
- Formal methods people
- Deaths in New York City