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(1941-04-22)
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
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.