Пнуели, Амир
Вы находитесь на сайте "Архив статей из ЭЕЭ и статей на еврейские темы из Википедии"
(Новая страница: «{{О_статье| ТИП СТАТЬИ = 4 | АВТОР1 = | АВТОР2 = | АВТОР3 = | СУПЕРВАЙЗЕР = | ПРОЕКТ = | ПОДТЕМА = | К…») |
(→Ссылки) |
||
| Строка 56: | Строка 56: | ||
{{Премия Тьюринга}} | {{Премия Тьюринга}} | ||
| - | |||
[[Категория:Учёные Израиля]] | [[Категория:Учёные Израиля]] | ||
| - | |||
[[Категория:Родившиеся в Израиле]] | [[Категория:Родившиеся в Израиле]] | ||
[[Категория:Академики АН Израиля]] | [[Категория:Академики АН Израиля]] | ||
[[Категория:Лауреаты Государственной премии Израиля]] | [[Категория:Лауреаты Государственной премии Израиля]] | ||
| - | + | {{WikiCopyRight}} | |
| - | + | ||
| - | + | ||
| - | + | ||
| - | + | ||
| - | + | ||
| - | + | ||
| - | + | ||
| - | + | ||
| - | + | ||
| - | + | ||
| - | + | ||
| - | + | ||
| - | + | ||
| - | + | ||
Текущая версия на 08:38, 26 апреля 2012
| Текст унаследован из Википедии | |
| Амир Пнуели | |
| אמיר פנואלי | |
| Файл:Amir Pnueli.jpg Амир Пнуели, 1996 год |
|
| Дата рождения: |
22 апреля 1941 |
|---|---|
| Место рождения: |
|
| Дата смерти: |
2 ноября 2009 (68 лет) |
| Место смерти: | |
| Страна: | |
| Научная сфера: |
информатика |
| Место работы: |
Институт Вейцмана, Университет Нью-Йорка |
| Альма-матер: | |
| Награды и премии |
|
| Сайт: | |
Амир Пнуели (ивр. אמיר פנואלי, 22 апреля 1941, Нахалаль, Израиль — 2 ноября 2009, Нью-Йорк) — учёный в области теории вычислительных систем, профессор по информатике при институте Вейцмана. Награждён в 1996 году премией Тьюринга за исследование временной логики и её применения в верификации программ.
Содержание |
Биография
Пнуели получил титул бакалавра в Израильском технологическом институте (Хайфа), а степень доктора философии по прикладной математике в институте Вейцмана в 1967 году. Его диссертация носила название англ. "Calculation of Tides in the Ocean". После работы в качестве постдока при Стэнфордском университете Пнуели вернулся в Реховот. В 1973 году он переехал в Тель-Авив, основал в Тель-Авивском университете факультет информатики и стал его первым деканом. Однако, в 1981 году Пнуели получил профессуру по информатике в институте Вейцмана, и вернулся в свой альма-матер.
С 1999 года Амир Пнуели был профессором Нью-Йоркского университета. В 2007 году он был призван почётным членом в Ассоциацию вычислительной техники.
В течение своей карьеры Пнуели основал две фирмы — Mini-Systems и AdCad. Был женат, имел трёх детей и внука.[1]
Амир Пнуели скончался 2 ноября 2009 года в возрасте 68 лет от кровоизлияния в мозг.
Награды
- 1996 — премия Тьюринга «за плодотворную работу по внедрению темпоральной логики в вычислительные науки, и за выдающийся вклад в верификацию программ и систем»[2]
- 1997 — почётный докторский титул от Уппсальского университета (Швеция)
- 1998 — почётный докторский титул от Университета Жозефа Фурье (Гренобль, Франция)
- 2000 — Государственная премия Израиля
Примечания
Ссылки
- Сайт Амира Пнуели при Нью-Йоркском университете (англ.)
- Сайт Амира Пнуели при институте Вейцмана (англ.)
Уведомление: Предварительной основой данной статьи была аналогичная статья в http://ru.wikipedia.org, на условиях CC-BY-SA, http://creativecommons.org/licenses/by-sa/3.0, которая в дальнейшем изменялась, исправлялась и редактировалась.
