Амир Пнуэли | |
|---|---|
 | |
| Родившийся | 22 апреля 1941 г. |
| Умер | 2 ноября 2009 г. (68 лет) |
| Национальность | Израильский |
| Награды | Премия Тьюринга (1996) Премия Израиля |
| Научная карьера | |
| Поля | Информатика |
| Учреждения | Стэнфордский университет Тель-Авивский университет Институт Вейцмана Нью-Йоркский университет |
Амир Пнуэли ( иврит : אמיר פנואלי ; 22 апреля 1941 - 2 ноября 2009) был израильским ученым-компьютерщиком и лауреатом премии Тьюринга 1996 года .
Биография [ править ]
Пнуэли родился в Нахалале , под британским мандатом в Палестине (ныне в Израиле ), получил степень бакалавра математики Техниона в Хайфе и доктора философии. в прикладной математике из Института Вейцмана . Его диссертация была на тему «Расчет приливов и отливов в океане». Он переключился на информатику во время работы в докторантуре Стэнфордского университета . Его работы в области информатики были сосредоточены на темпоральной логике и проверке моделей , особенно в отношении свойств справедливостипараллельные системы . [1]
Он вернулся в Израиль в качестве исследователя; он был основателем и первым заведующим кафедрой информатики в Тель-Авивском университете . Он стал профессором информатики в Институте Вейцмана в 1981 году. С 1999 года до своей смерти Пнуэли также занимал должность на факультете компьютерных наук Нью-Йоркского университета , Нью-Йорк , США . [1]
За свою карьеру Пнуэли также основал две стартап-технологические компании. У него было трое детей и на момент его смерти четверо внуков. [1]
Пнуэли умер 2 ноября 2009 года от кровоизлияния в мозг . [1] [2] [3]
Награды и награды [ править ]
- В 1996 году Пнуэли получил премию Тьюринга за основополагающую работу по внедрению темпоральной логики в вычислительную науку и за выдающийся вклад в верификацию программ и систем .
- 30 мая 1997 года Пнуэли получил звание почетного доктора факультета науки и технологий Упсальского университета , Швеция . [4]
- В 1999 году он был введен в должность иностранного научного сотрудника Национальной инженерной академии США.
- В 2000 году он был удостоен премии Израиля в области информатики. [5] [6]
- В 2007 году он был назначен членом Ассоциации вычислительной техники .
- Институт Вейцмана представляет памятную серию лекций в его честь. [1]
См. Также [ править ]
- Важные публикации в формальной проверке
- Список лауреатов премии Израиля
Ссылки [ править ]
- ^ a b c d Чанг, Кеннет (14 ноября 2009 г.), «Амир Пнуэли, пионер временной логики, умер в возрасте 68 лет» , The New York Times.
- ^ "Профессор компьютерных наук Нью-Йоркского университета Амир Пнуэли, 68 лет" , доктор Добб , 5 ноября 2009 г..
- ^ Профессор Нью-Йоркского университета Амир Пнуэли, 68 лет, выдающийся компьютерный ученый , факультет компьютерных наук Нью-Йоркского университета , заархивировано из оригинала 9 ноября 2009 г. , извлечено 2008-11-08.
- ^ http://www.uu.se/en/about-uu/traditions/prizes/honorary-doctorates/
- ^ "Официальный сайт Израильской премии (на иврите) - Резюме получателя"
- ^ "Официальный сайт израильской премии (на иврите) - Обоснование судейства гранта получателю" .
Внешние ссылки [ править ]
- Домашняя страница Нью-Йоркского университета
- Краткая биография
- Домашняя страница института Вейцмана
- Профиль
- Амир Пнуэли на сервере библиографии DBLP
