Амир Пнуэли | |
---|---|
אמיר פנואלי | |
Амир Пнуэли, 1996 год | |
Дата рождения | 22 апреля 1941 |
Место рождения | Нахалаль, Палестина, ныне Израиль |
Дата смерти | 2 ноября 2009 (68 лет) |
Место смерти | Нью-Йорк |
Страна |
|
Научная сфера | Информатика |
Место работы | Институт Вейцмана, Университет Нью-Йорка |
Альма-матер | Израильский технологический институт, Институт Вейцмана |
Научный руководитель | Пекерис, Хаим Лейб |
Награды и премии | Премия Тьюринга |
Сайт | web.archive.org/web/2003… |
Амир Пнуэли (ивр. אמיר פנואלי, 22 апреля 1941 года, Нахалаль, Палестина — 2 ноября 2009 года, Нью-Йорк, США) — израильский и американский учёный в области теории вычислительных систем, профессор информатики при Институте Вейцмана. Награждён в 1996 году премией Тьюринга за исследование темпоральной логики и её применения в верификации программ.
Получил степень бакалавра в Израильском технологическом институте (Хайфа), степень доктора философии по прикладной математике — в Институте Вейцмана в 1967 году с диссертацией о расчёте океанских приливов. После работы в качестве постдока в Стэнфордском университете вернулся в Реховот. В 1973 году переехал в Тель-Авив, основал в Тель-Авивском университете факультет информатики и стал его первым деканом. В 1981 году перешёл на должность профессора информатики в Институте Вейцмана.
С 1999 года — профессор Нью-Йоркского университета. В 2007 году избран действительным членом Ассоциации вычислительной техники.
Основал две фирмы — Mini-Systems и AdCad.
Был женат, имел трёх детей и внука.[1]
Скончался 2 ноября 2009 года в возрасте 68 лет от кровоизлияния в мозг[2].
Данная страница на сайте WikiSort.ru содержит текст со страницы сайта "Википедия".
Если Вы хотите её отредактировать, то можете сделать это на странице редактирования в Википедии.
Если сделанные Вами правки не будут кем-нибудь удалены, то через несколько дней они появятся на сайте WikiSort.ru .