Пнуэли, Амир

Амир Пнуэли
Амир Пнуэли
	אמיר פנואלי
	Амир Пнуэли, 2006 год
Дата рождения	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].

1996 — премия Тьюринга «за плодотворную работу по внедрению темпоральной логики в вычислительные науки, и за выдающийся вклад в верификацию программ и систем»^[3]
1997 — почётный докторский титул от Уппсальского университета (Швеция)
1998 — почётный докторский титул от Университета Жозефа Фурье (Гренобль, Франция)
2000 — Государственная премия Израиля

↑ Short biography of Amir Pnueli Harel (неопр.). Дата обращения: 9 февраля 2009. Архивировано 6 марта 2009 года.
↑ Amir Pnueli: Ahead of His Time, 2010.
↑ ACM Award Citation / Amir Pnueli (неопр.) (недоступная ссылка). Дата обращения: 9 февраля 2009. Архивировано 28 февраля 2008 года.

Leah Hoffmann. Amir Pnueli: Ahead of His Time (англ.) // Communications of the ACM : журнал. — 2010. — January (vol. 53, no. 1). — P. 22-23. — doi:10.1145/1629175.1629187.