Амир Пнуэли
Амир Пнуэли | |
|---|---|
 | |
| Рожденный | 22 апреля 1941 г. |
| Умер | 2 ноября 2009 г. (68 лет) |
| Национальность | Израильский |
| Награды | Премия Тьюринга (1996) Премия Израиля |
| Научная карьера | |
| Поля | Информатика |
| Учреждения | Тель-Авивский университет Институт Вейцмана Нью-Йоркский университет Пенсильванский университет Стэнфордский университет |
| Докторанты | |
Амир Пнуэли ( иврит : אמיר פנואלי ; 22 апреля 1941 — 2 ноября 2009) — израильский ученый-компьютерщик , лауреат премии Тьюринга 1996 года .
Биография [ править ]
Пнуэли родился в Нахалале , в Палестине под британским мандатом (ныне в Израиле ), получил степень бакалавра математики в Технионе в Хайфе и степень доктора философии. Степень бакалавра прикладной математики Института науки Вейцмана (1967). [1] Его диссертация была на тему «Расчет приливов и отливов в океане». Он переключился на информатику во время работы в качестве постдокторанта в Стэнфордском университете . Его работы в области информатики были сосредоточены на темпоральной логике и проверке моделей , особенно в отношении свойств справедливости параллельных систем . [2]
Он вернулся в Израиль в качестве исследователя; он был основателем и первым заведующим кафедрой информатики Тель-Авивского университета . Он стал профессором информатики в Институте Вейцмана в 1981 году. С 1999 года и до своей смерти Пнуэли также занимал должность на факультете компьютерных наук Нью-Йоркского университета , Нью-Йорк , США. [2] Он также работал доцентом в Пенсильванском университете и Университете Джозефа Фурье . [3]
За свою карьеру Пнуэли также основал две стартап-технологические компании. У него было трое детей, а на момент его смерти было четверо внуков. [2]
Пнуэли умер 2 ноября 2009 года от кровоизлияния в мозг . [2] [4] [5]
Награды и почести [ править ]
- В 1996 году Пнуэли получил премию Тьюринга за плодотворную работу по внедрению темпоральной логики в информатику и за выдающийся вклад в верификацию программ и систем .
- 30 мая 1997 года Пнуэли получил степень почётного доктора факультета науки и технологий Уппсальского университета , Швеция . [6]
- В 1999 году он был назначен иностранным сотрудником Национальной инженерной академии США.
- В 2000 году он был удостоен Премии Израиля в области информатики. [7] [8]
- В 2007 году он был избран членом Ассоциации вычислительной техники .
- Институт Вейцмана представляет в его честь серию мемориальных лекций. [1]
См. также [ править ]
Ссылки [ править ]
- ^ «Амир Пнуэли» . Проект «Математическая генеалогия» . Проверено 19 сентября 2022 г.
- ^ Jump up to: Перейти обратно: а б с д Чанг, Кеннет (14 ноября 2009 г.), «Амир Пнуэли, пионер темпоральной логики, умирает в возрасте 68 лет» , The New York Times .
- ^ «АМИР ПНУЭЛИ» . amturing.acm . Проверено 14 августа 2023 г.
- ^ «Профессор компьютерных наук Нью-Йоркского университета Амир Пнуэли, 68 лет» , Доктор Доббс , 5 ноября 2009 г.
- ^ Профессор Нью-Йоркского университета Амир Пнуэли, 68 лет, заслуженный ученый-компьютерщик факультета Нью-Йоркского университета компьютерных наук , архивировано из оригинала 9 ноября 2009 г. , получено 8 ноября 2009 г.
- ^ «Почетный доктор – Уппсальский университет, Швеция» . 9 июня 2023 г.
- ^ «Официальный сайт Премии Израиля (на иврите) – резюме лауреата»
- ^ «Официальный сайт Премии Израиля (на иврите) – Обоснование решения судей о предоставлении гранта получателю» .
Внешние ссылки [ править ]
- Домашняя страница Нью-Йоркского университета
- Домашняя страница Института Вейцмана
- Амир Пнуэли на DBLP библиографическом сервере
- 1941 года рождения
- смертей в 2009 г.
- 2007 г. Члены Ассоциации вычислительной техники.
- Формальные методы люди
- Израильские евреи
- Израильские ученые-компьютерщики
- Лауреаты Премии Израиля в области компьютерных наук
- Еврейские учёные
- Члены Израильской академии наук и гуманитарных наук
- Факультет Института математических наук Куранта
- Люди из Нахалаля
- Исследователи языков программирования
- Технион – выпускники Израильского технологического института.
- Академический состав Тель-Авивского университета
- Теоретики-компьютерщики
- Лауреаты премии Тьюринга
- Академический состав Института науки Вейцмана
- Факультет Политехнического института Нью-Йоркского университета
- Иностранные сотрудники Национальной инженерной академии