Амир Пнуэли ( ивр . אמיר פנואלי ; 22 апреля 1941 — 2 ноября 2009) — израильский учёный-компьютерщик , лауреат премии Тьюринга 1996 года .
Пнуэли родился в Нахалале , в британском мандате в Палестине (ныне в Израиле ), и получил степень бакалавра по математике в Технионе в Хайфе и степень доктора философии по прикладной математике в Институте Вейцмана (1967). [1] Его диссертация была на тему «Вычисление приливов в океане». Он переключился на информатику во время работы в качестве постдокторанта в Стэнфордском университете . Его работы в области информатики были сосредоточены на темпоральной логике и проверке моделей , особенно в отношении свойств справедливости параллельных систем . [2]
Он вернулся в Израиль в качестве исследователя; он был основателем и первым заведующим кафедрой компьютерных наук в Тель-Авивском университете . Он стал профессором компьютерных наук в Институте Вейцмана в 1981 году. С 1999 года и до своей смерти Пнуэли также занимал должность на кафедре компьютерных наук Нью-Йоркского университета , Нью-Йорк , США [2] Он также занимал должность доцента в Пенсильванском университете и Университете Жозефа Фурье . [3]
Пнуэли также основал две стартап-технологические компании за время своей карьеры. У него было трое детей и, к моменту его смерти, четверо внуков. [2]
Пнуэли умер 2 ноября 2009 года от кровоизлияния в мозг . [2] [4] [5]