Amir Pnueli
Amir Pnueli | |
|---|---|
 | |
| Doğum | 22 Nisan 1941 Nahalal, Filistin Mandası |
| Ölüm | 2 Kasım 2009 (68 yaşında) New York, ABD |
| Ödüller | Turing Ödülü (1996) |
| Kariyeri | |
| Dalı | Bilgisayar bilimi |
| Çalıştığı kurumlar | Stanford Üniversitesi Tel Aviv Üniversitesi Weizmann Enstitüsü New York Üniversitesi |
Amir Pnueli (22 Nisan 1941 - 2 Kasım 2009), İsrailli bilgisayar bilimcisi. Technion Matematik Bölümü'nden mezun olduktan sonra Weizmann Enstitüsü'nde uygulamalı matematik öğrenimi görmüştür. Zamansal mantık ve model denetimi konulu çalışmalarıyla bilinen Pnueli 1996 yılında Turing Ödülü'nü almaya hak kazanmıştır.
 | Bilgisayar bilimcisi ile ilgili bu madde taslak seviyesindedir. Madde içeriğini genişleterek Vikipedi'ye katkı sağlayabilirsiniz. |
Kategori:
- Bilgisayar bilimcisi taslakları
- 1941 doğumlular
- Nahalal doğumlular
- 2009 yılında ölenler
- İsrailli bilgisayar bilimcileri
- Association for Computing Machinery Fellow'ları
- Biçimsel yöntemler kişileri
- İsrailli Yahudiler
- İsrail Ödülü sahipleri
- Yahudi bilim insanları
- Courant Institute of Mathematical Sciences öğretim üyeleri
- Programlama dili araştırmacıları
- Technion'da öğrenim görenler
- Tel Aviv Üniversitesi öğretim üyeleri
- Turing Ödülü sahipleri
- Weizmann Enstitüsü öğretim üyeleri