Пнуэли, Амир: различия между версиями
[отпатрулированная версия] | [отпатрулированная версия] |
м Move Шаблон:Учёный parameters to Wikidata |
м Move Шаблон:Учёный parameters to Wikidata |
||
Строка 5: | Строка 5: | ||
| Ширина = |
| Ширина = |
||
| Описание изображения = Амир Пнуели, 1996 год |
| Описание изображения = Амир Пнуели, 1996 год |
||
| Дата рождения = 22.4.1941 |
|||
| Место рождения = {{МестоРождения|Нахалаль|в Нахалале}}, [[Британский мандат в Палестине|Палестина]], ныне [[Израиль]] |
| Место рождения = {{МестоРождения|Нахалаль|в Нахалале}}, [[Британский мандат в Палестине|Палестина]], ныне [[Израиль]] |
||
| Дата смерти = 2.11.2009 |
|||
| Место смерти = {{МестоСмерти|Нью-Йорк}} |
| Место смерти = {{МестоСмерти|Нью-Йорк}} |
||
| Научная сфера = [[Информатика]] |
| Научная сфера = [[Информатика]] |
Версия от 01:28, 29 августа 2014
Амир Пнуели | |
---|---|
אמיר פנואלי | |
![]() Амир Пнуели, 1996 год | |
Дата рождения | 22 апреля 1941[1] |
Место рождения | Нахалаль, Палестина, ныне Израиль |
Дата смерти | 2 ноября 2009[2] (68 лет) |
Место смерти | Нью-Йорк |
Страна | |
Род деятельности | специалист в области информатики, инженер, педагог, преподаватель университета, математик |
Научная сфера | Информатика |
Место работы | Институт Вейцмана, Университет Нью-Йорка |
Альма-матер | Израильский технологический институт, Институт Вейцмана |
Научный руководитель | Пекерис, Хаим Лейб |
Награды и премии | Премия Тьюринга |
Сайт | wisdom.weizmann.ac.il/~a… |
![]() |
Амир Пнуели (ивр. אמיר פנואלי, 22 апреля 1941, Нахалаль, Палестина — 2 ноября 2009, Нью-Йорк) — израильский и американский учёный в области теории вычислительных систем, профессор по информатике при институте Вейцмана. Награждён в 1996 году премией Тьюринга за исследование временной логики и её применения в верификации программ.
Биография
Получил степень бакалавра в Израильском технологическом институте (Хайфа), степень доктора философии по прикладной математике — в институте Вейцмана в 1967 году с диссертацией о расчёте океанских приливов. После работы в качестве постдока в Стэнфордском университете вернулся в Реховот. В 1973 году переехал в Тель-Авив, основал в Тель-Авивском университете факультет информатики и стал его первым деканом. В 1981 году перешёл на должность профессора информатики в институте Вейцмана.
С 1999 года — профессор Нью-Йоркского университета. В 2007 году избран действительным членом Ассоциации вычислительной техники.
Основал две фирмы — Mini-Systems и AdCad. Был женат, имел трёх детей и внука.[3]
Скончался 2 ноября 2009 года в возрасте 68 лет от кровоизлияния в мозг.
Награды
- 1996 — премия Тьюринга «за плодотворную работу по внедрению темпоральной логики в вычислительные науки, и за выдающийся вклад в верификацию программ и систем»[4]
- 1997 — почётный докторский титул от Уппсальского университета (Швеция)
- 1998 — почётный докторский титул от Университета Жозефа Фурье (Гренобль, Франция)
- 2000 — Государственная премия Израиля
Примечания
- ↑ Bibliothèque nationale de France Amir Pnueli // Autorités BnF (фр.): платформа открытых данных — 2011.
- ↑ http://blog.computationalcomplexity.org/2009/11/amir-pnueli-1941-2009.html
- ↑ Short biography of Amir Pnueli Harel
- ↑ ACM Award Citation / Amir Pnueli
Ссылки
- Сайт Амира Пнуели при Нью-Йоркском университете (англ.)
- Сайт Амира Пнуели при институте Вейцмана (англ.)
- Родившиеся 22 апреля
- Родившиеся в 1941 году
- Персоналии по алфавиту
- Родившиеся в Нахалале
- Умершие 2 ноября
- Умершие в 2009 году
- Умершие в Нью-Йорке
- Учёные по алфавиту
- Родившиеся в Палестине
- Лауреаты премии Тьюринга
- Выпускники Техниона — Израильского технологического института
- Учёные в области информатики Израиля
- Академики АН Израиля
- Лауреаты Государственной премии Израиля