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
.jpg)
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