Vikipedi, ozgur ansiklopedi
Amir Pnueli
(22 Nisan 1941 - 2 Kasım 2009), ?srailli
bilgisayar bilimcisi
.
Technion
Matematik Bolumu'nden mezun olduktan sonra
Weizmann Enstitusu
'nde uygulamalı matematik o?renimi gormu?tur.
Zamansal mantık
ve
model denetimi
konulu calı?malarıyla bilinen Pnueli 1996 yılında
Turing Odulu
'nu almaya hak kazanmı?tır.
|
---|
1960'lar
| |
---|
1970'ler
| |
---|
1980'ler
| |
---|
1990'lar
| |
---|
2000'ler
| |
---|
2010'lar
| |
---|
2020'ler
| |
---|