Амир Пнуэли

Материал из Циклопедии
Перейти к: навигация, поиск

Амир Пнуэли

אמיר פנואלי
Amir 4Пнуэли.jpg
Дата рождения 22 апреля 1941 года
Место рождения Нахалаль, Израиль
Дата смерти 2 ноября 2009 года
Место смерти Нью-Йорк, США












Амир Пнуэли (англ. Amir Pnueli, ивр. אמיר פנואלי) — израильский и американский учёный в области теории вычислительных систем, профессор информатики в Институте Вейцмана[1].

[править] Научная карьера

Амир Пнуэли родился 22 апреля 1941 года в Нахалале.

Получил степень бакалавра в Технионе.

В 1967 году получил степень доктора философии по прикладной математике в Институте Вейцмана, защитив диссертацию о расчёте океанских приливов.

В 1969 году, после работы в качестве постдока в Стэнфордском университете, вернулся в институт Вейцмана.

В 1973 году переехал в Тель-Авив, основал в Тель-Авивском университете факультет информатики и стал его первым деканом.

С 1981 года — профессор информатики в Институте Вейцмана.

В 1996 году — лауреат премии Тьюринга — «за плодотворную работу по внедрению темпоральной логики в вычислительные науки, и за выдающийся вклад в верификацию программ и систем».

В 1997 году — почётный доктор Уппсальского университета.

В 1998 году — почётный доктор Университета Жозефа Фурье.

С 1999 года — профессор Нью-Йоркского университета.

В 2000 году — лауреат Государственной премии Израиля.

В 2001 году был избран членом Израильской Академии наук.

В 2007 году был избран действительным членом Ассоциации вычислительной техники.

Исследования по темпоральной логике и ее приложением к спецификации и верификации реактивных систем. Сотрудничал с ИСИ СО РАН, был сопредседателем Программного комитета PSI'09.

Основал две компании — Mini-Systems и AdCad.

Был женат, имел трое детей.

Умер 2 ноября 2009 года в Нью-Йорке.

[править] Источники


Персональные инструменты
Пространства имён

Варианты
Действия
Навигация
Инструменты