Amir Pnueli
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.
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 |
Bilgisayar bilimcisi ile ilgili bu madde taslak seviyesindedir. Madde içeriğini genişleterek Vikipedi'ye katkı sağlayabilirsiniz. |
🔥 Top keywords: Anasayfa2024 Avrupa Futbol ŞampiyonasıÖzel:AraAvrupa Futbol ŞampiyonasıAişe2020 Avrupa Futbol ŞampiyonasıOktay Kaynarca2024 FIVB Kadınlar Voleybol Milletler LigiKylian MbappéSlovakyaTürkiye2024 Avrupa Futbol Şampiyonası elemeleriFIVB Dünya SıralamasıFIFA Dünya KupasıTürkiye millî futbol takımıMuhammed'in evlilikleriGibi bölümleri listesi2008 Avrupa Futbol ŞampiyonasıKurban BayramıVII. KleopatraGülse BirselRomelu LukakuOsmanlı padişahları listesiÖzel:SonDeğişikliklerMuhammedÜlkeler listesiAntoine Griezmann2026 FIFA Dünya KupasıVatan ŞaşmazII. MehmedOsmanlı İmparatorluğuFIFA Dünya Kupası finalleri listesiBurçlarSeks pozisyonlarıUsame bin LadinGheorghe HagiPrens (dizi)Muğla'nın ilçeleriSıla