Пнуэли, Амир

Амир Пнуэли
ивр. אמיר פנואלי‎
Амир Пнуэли, 2006 год
Дата рождения	22 апреля 1941(1941-04-22)
Место рождения	Палестина, ныне Израиль
Дата смерти	2 ноября 2009(2009-11-02) (68 лет)
Место смерти	Нью-Йорк
Страна	Израиль
Научная сфера	информатика
Место работы	Университет Нью-Йорка
Альма-матер	Израильский технологический институт, Институт Вейцмана
Научный руководитель	Пекерис, Хаим Лейб
Награды и премии	Премия Тьюринга
Сайт	web.archive.org/web/2003…
Медиафайлы на Викискладе

Амир Пнуэли (

Биография

Получил степень

С 1999 года — профессор Нью-Йоркского университета. В 2007 году избран действительным членом Ассоциации вычислительной техники.

Основал две фирмы — Mini-Systems и AdCad.

Был женат, имел трёх детей и внука.^[1]

Скончался 2 ноября 2009 года в возрасте 68 лет от кровоизлияния в мозг^[2].

Награды

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

Литература

• Leah Hoffmann. Amir Pnueli: Ahead of His Time (англ.) //
  doi:10.1145/1629175.1629187
  .

• Сайт Амира Пнуэли при [[Университет Нью-Йорка|Нью-Йоркском университете]] (англ.). Дата обращения: 9 февраля 2009. Архивировано 28 декабря 2008 года.
• Сайт Амира Пнуэли при институте Вейцмана  (англ.)