Пнуели, Амир

Вы находитесь на сайте "Архив статей из ЭЕЭ и статей на еврейские темы из Википедии"

(Различия между версиями)
Перейти к: навигация, поиск
Л.Гроервейдл (Обсуждение | вклад)
(Новая страница: «{{О_статье| ТИП СТАТЬИ = 4 | АВТОР1 = | АВТОР2 = | АВТОР3 = | СУПЕРВАЙЗЕР = | ПРОЕКТ = | ПОДТЕМА = | К…»)
Следующая правка →

Версия 08:37, 26 апреля 2012

Тип статьи: Текст унаследован из Википедии
Амир Пнуели
אמיר פנואלי
Файл:Amir Pnueli.jpg
Амир Пнуели, 1996 год
Дата рождения:

22 апреля 1941(1941-04-22)
Место рождения:

Израиль Израиль, Нахалаль
Дата смерти:

2 ноября 2009(2009-11-02) (68 лет)
Место смерти:

Нью-Йорк
Страна:

Израиль
Научная сфера:

информатика
Место работы:

Институт Вейцмана, Университет Нью-Йорка
Альма-матер:

Израильский технологический институт, Институт Вейцмана
Награды и премии


Премия Тьюринга
Сайт:

http://www.wisdom.weizmann.ac.il/~amir/

Амир Пнуели (ивр. אמיר פנואלי‎, 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 — Государственная премия Израиля

Примечания

  1. ↑ Short biography of Amir Pnueli Harel
  2. ↑ ACM Award Citation / Amir Pnueli

Ссылки

Лауреаты премии Тьюринга

Перлис (1966) • Уилкс (1967) • Хэмминг (1968) • Минский (1969) • Уилкинсон (1970) • Маккарти (1971) • Дейкстра (1972) • Бахман (1973) • Кнут (1974) • Ньюэлл / Саймон (1975) • Рабин / Скотт (1976) • Бэкус (1977) • Флойд (1978) • Айверсон (1979) • Хоар (1980) • Кодд (1981) • Кук (1982) • Томпсон / Ритчи (1983) • Вирт (1984) • Карп (1985) • Хопкрофт / Тарьян (1986) • Кок (1987) • Сазерленд (1988) • Кэхэн (1989) • Корбато (1990) • Милнер (1991) • Лэмпсон (1992) • Хартманис / Стернс (1993) • Фейгенбаум / Редди (1994) • Блюм (1995) • Пнуели (1996) • Энгельбарт (1997) • Грей (1998) • Брукс (1999) • Яо (2000) • Даль / Нигаард (2001) • Ривест / Шамир / Адлеман (2002) • Кэй (2003) • Серф / Кан (2004) • Наур (2005) • Аллен (2006) • Кларк / Эмерсон / Сифакис (2007) • Лисков (2008) • Текер (2009)

 

bn:আমির নিউলি

cs:Amir Pnuelija:アミール・プヌーリ nl:Amir Pnueli pl:Amir Pnueli pt:Amir Pnueli ro:Amir Pnueli sk:Amir Pnueli sr:Амир Пнуели zh:阿米尔·伯努利Уведомление: Предварительной основой данной статьи была аналогичная статья в http://ru.wikipedia.org, на условиях CC-BY-SA, http://creativecommons.org/licenses/by-sa/3.0, которая в дальнейшем изменялась, исправлялась и редактировалась.

Источник — «http://www.jearc.info/wiki/%D0%9F%D0%BD%D1%83%D0%B5%D0%BB%D0%B8,_%D0%90%D0%BC%D0%B8%D1%80»
Личные инструменты
 

Шаблон:Ежевика:Рубрики

Навигация
На других языках