Пнуэли, Амир

Материал из Википедии — свободной энциклопедии
(перенаправлено с «Пнуели, Амир»)
Перейти к: навигация, поиск
Амир Пнуэли
אמיר פנואלי
Amir Pnueli.jpg
Амир Пнуэли, 1996 год
Дата рождения:

22 апреля 1941(1941-04-22)

Место рождения:

Нахалаль, Палестина, ныне Израиль

Дата смерти:

2 ноября 2009(2009-11-02) (68 лет)

Место смерти:

Нью-Йорк

Страна:

ИзраильFlag of Israel.svg Израиль

Научная сфера:

Информатика

Место работы:

Институт Вейцмана, Университет Нью-Йорка

Альма-матер:

Израильский технологический институт, Институт Вейцмана

Награды и премии:

Премия Тьюринга

Сайт:

wisdom.weizmann.ac.il/~amir/

Commons-logo.svg Амир Пнуэли на Викискладе

Амир Пнуэли (ивр. אמיר פנואלי‏‎‎‎, 22 апреля 1941 года, Нахалаль, Палестина — 2 ноября 2009 года, Нью-Йорк, США) — израильский и американский учёный в области теории вычислительных систем, профессор информатики при Институте Вейцмана. Награждён в 1996 году премией Тьюринга за исследование темпоральной логики и её применения в верификации программ.

Биография[править | править вики-текст]

Получил степень бакалавра в Израильском технологическом институте (Хайфа), степень доктора философии по прикладной математике — в Институте Вейцмана в 1967 году с диссертацией о расчёте океанских приливов. После работы в качестве постдока в Стэнфордском университете вернулся в Реховот. В 1973 году переехал в Тель-Авив, основал в Тель-Авивском университете факультет информатики и стал его первым деканом. В 1981 году перешёл на должность профессора информатики в Институте Вейцмана.

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

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

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

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

Награды[править | править вики-текст]

Примечания[править | править вики-текст]

Литература[править | править вики-текст]

Ссылки[править | править вики-текст]