Амир Пнуэли
Амир Пнуэли
Амир Пнуэли (англ. Amir Pnueli, ивр. אמיר פנואלי) — израильский и американский учёный в области теории вычислительных систем, профессор информатики в Институте Вейцмана[1].
Научная карьера[править]
Амир Пнуэли родился 22 апреля 1941 года в Нахалале.
Получил степень бакалавра в Технионе.
В 1967 году получил степень доктора философии по прикладной математике в Институте Вейцмана, защитив диссертацию о расчёте океанских приливов.
В 1969 году, после работы в качестве постдока в Стэнфордском университете, вернулся в институт Вейцмана.
В 1973 году переехал в Тель-Авив, основал в Тель-Авивском университете факультет информатики и стал его первым деканом.
С 1981 года — профессор информатики в Институте Вейцмана.
В 1996 году — лауреат премии Тьюринга — «за плодотворную работу по внедрению темпоральной логики в вычислительные науки, и за выдающийся вклад в верификацию программ и систем».
В 1997 году — почётный доктор Уппсальского университета.
В 1998 году — почётный доктор Университета Жозефа Фурье.
С 1999 года — профессор Нью-Йоркского университета.
В 2000 году — лауреат Государственной премии Израиля.
В 2001 году был избран членом Израильской Академии наук.
В 2007 году был избран действительным членом Ассоциации вычислительной техники.
Исследования по темпоральной логике и ее приложением к спецификации и верификации реактивных систем. Сотрудничал с ИСИ СО РАН, был сопредседателем Программного комитета PSI'09.
Основал две компании — Mini-Systems и AdCad.
Был женат, имел трое детей.
Умер 2 ноября 2009 года в Нью-Йорке.
Источники[править]
- Родившиеся 22 апреля
- Родившиеся в 1941 году
- Персоналии по алфавиту
- Родившиеся в Нахалале
- Умершие 2 ноября
- Умершие в 2009 году
- Умершие в Нью-Йорке
- Учёные по алфавиту
- Фелло Ассоциации вычислительной техники
- Публицисты Израиля
- Преподаватели Нью-Йоркского университета
- Преподаватели Тель-Авивского университета
- Преподаватели института Вейцмана
- Выпускники Техниона — Израильского технологического института
- Учёные в области информатики Израиля
- Академики АН Израиля
- Лауреаты Государственной премии Израиля
- Лауреаты премии Тьюринга
- Выпускники института Вейцмана
- Сабра
- Евреи в США
- Предприниматели Израиля
- Математики Израиля
- Евреи-математики
- Израильтяне в США