Русская Википедия:Пнуэли, Амир

Материал из Онлайн справочника
Версия от 13:39, 5 сентября 2023; EducationBot (обсуждение | вклад) (Новая страница: «{{Русская Википедия/Панель перехода}} {{Учёный | Имя = Амир Пнуэли | Оригинал имени = {{lang-he|אמיר פנואלי}} | Изображение = Amir_Pnueli_FLoC_2006_(cropped).jpg | Ширина = | Описание изображения = Амир Пнуэли, 2006 год | Дата рождения = 22.4.1941 | Место рожден...»)
(разн.) ← Предыдущая версия | Текущая версия (разн.) | Следующая версия → (разн.)
Перейти к навигацииПерейти к поиску

Шаблон:Учёный Амир Пнуэли (Шаблон:Lang-he, 22 апреля 1941 года, Нахалаль, Шаблон:МестоРождения — 2 ноября 2009 года, Нью-Йорк, США) — израильский и американский учёный в области теории вычислительных систем, профессор информатики при Институте Вейцмана. Награждён в 1996 году премией Тьюринга за исследование темпоральной логики и её применения в верификации программ.

Биография

Получил степень бакалавра в Израильском технологическом институте (Хайфа), степень доктора философии по прикладной математике — в Институте Вейцмана в 1967 году с диссертацией о расчёте океанских приливов. После работы в качестве постдока в Стэнфордском университете вернулся в Реховот. В 1973 году переехал в Тель-Авив, основал в Тель-Авивском университете факультет информатики и стал его первым деканом. В 1981 году перешёл на должность профессора информатики в Институте Вейцмана.

С 1999 года — профессор Нью-Йоркского университета. В 2007 году избран действительным членом Ассоциации вычислительной техники.

Основал две фирмы — Mini-Systems и AdCad.

Был женат, имел трёх детей и внука.[1]

Скончался 2 ноября 2009 года в возрасте 68 лет от кровоизлияния в мозгШаблон:Sfn.

Награды

Примечания

Шаблон:Примечания

Литература

Ссылки

Внешние ссылки

  1. ↑ Шаблон:Cite web
  2. ↑ Шаблон:Cite web

Шаблон:Выбор языка Шаблон:- Шаблон:Премия Тьюринга

Партнерские ресурсы
Криптовалюты
Магазины
Хостинг
Разное

Источник — http://wikihandbk.com/ruwiki/index.php?title=Русская_Википедия:Пнуэли,_Амир&oldid=10604210