Пнуэли, Амир
| Амир Пнуэли | |
|---|---|
| ивр. אמיר פנואלי | |
.jpg) Амир Пнуэли, 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.
Ссылки
[править | править код]- Сайт Амира Пнуэли при [[Университет Нью-Йорка|Нью-Йоркском университете]] (англ.). Дата обращения: 9 февраля 2009. Архивировано 28 декабря 2008 года.
- Сайт Амира Пнуэли при институте Вейцмана (англ.)
 | ||||
|---|---|---|---|---|
| Словари и энциклопедии | ||||
| Генеалогия и некрополистика | ||||
Лауреаты премии Тьюринга | |
|---|---|
| |
- Родившиеся 22 апреля
- Родившиеся в 1941 году
- Персоналии по алфавиту
- Родившиеся в Нахалале
- Умершие 2 ноября
- Умершие в 2009 году
- Умершие в Нью-Йорке
- Учёные по алфавиту
- Родившиеся в подмандатной Палестине
- Лауреаты премии Тьюринга
- Выпускники Техниона — Израильского технологического института
- Преподаватели Нью-Йоркского университета
- Преподаватели Политехнического института Нью-Йоркского университета
- Преподаватели Курантовского института математических наук
- Учёные в области информатики Израиля
- Академики АН Израиля
- Иностранные члены Национальной инженерной академии США
- Лауреаты Государственной премии Израиля
- Почётные доктора Уппсальского университета
- Почётные доктора Ольденбургского университета