Амір Пнуелі

Матеріал з Вікіпедії — вільної енциклопедії.
Перейти до навігації Перейти до пошуку
Амір Пнуелі
івр. אמיר פנואלי‎
Амір Пнуелі (конференція FLoC 2006)
Амір Пнуелі (конференція FLoC 2006)
Амір Пнуелі (конференція FLoC 2006)
Народився 22 квітня 1941(1941-04-22)
Нахалал[en], Британський мандат у Палестині
Помер 2 листопада 2009(2009-11-02) (68 років)
Мангеттен, США
·геморагічний інсульт
Країна Ізраїль Ізраїль
Діяльність інформатик, інженер, педагог, викладач університету, математик
Alma mater Техніон,
Науково-дослідний інститут імені Вейцмана
Галузь Інформатика
Заклад Стенфордський університет,
Тель-Авівський університет,
Науково-дослідний інститут імені Вейцмана,
Нью-Йоркський університет
Науковий керівник Хаїм Пекеріс
івр. חיים לייב פקריס‎[1]
Аспіранти, докторанти Dan Zachaid
Mordechai Ben-Arid[2]
Nissim Francezd[2]
Asher Wilkd[2]
Lenore Zuckd[2]
Yonit Kestend[2]
Yair Erand[2]
Oded Malerd[2]
Orna Lichtensteind[2]
Roni Rosnerd[2]
Rivka Zarhy-Shermand[2]
Dov Dorid[2]
Giora Slutzkid[2]
Doron A. Peledd[2]
Hillel Kuglerd[2]
Ofer Strichmand[2]
Gera Weissd[2]
Raya (Rosenfeld) Leviathand[2]
Yi Fangd[2]
Elad Shahard[2]
Аріель Коен[d][2]
Sitvanit Ruahd[2]
Ittai Balaband[2]
Uri Kleind[2]
Yaniv Sa'ard[2]
Dana Fismand[2]
Shmuel Safrad[3]
Членство Ізраїльська академія природничих і гуманітарних наук
Association for Computing Machinery
Національна інженерна академія США
Відомий завдяки: логіка лінійного часу[en] LTL
Нагороди Премія Тюрінга (1996),
Премія Ізраїлю (2000),
ACM Software System Award[en] (2007)
Особ. сторінка cs.nyu.edu/cs/faculty/pnueli/
CMNS: Амір Пнуелі у Вікісховищі

Амір Пнуелі (івр. אמיר פנואלי‎; англ. Amir Pnueli; нар.22 квітня 1941 — пом.2 листопада 2009)  — ізраїльський вчений-теоретик в галузі комп'ютерних наук, лауреат премії Тюрінга.

Біографія[ред. | ред. код]

Амір Пнуелі народився в Нахалалі[en] (Ізраїль) 22 квітня 1941 року. Вивчав математику в Техніоні (місто Хайфа) та захистив докторську дисертацію (на тему прикладної математики, «Вирішення проблем припливів у простих басейнах»)[1] у науково-дослідному інституті імені Вейцмана (місто Реховот) в 1967 році.

Під час роботи в Стенфодському університеті Пнуелі почав працювати в розділі інформатики, після чого повернувся в Ізраїль, де працював у департаменті прикладної математики в інституті імені Вейцмана. В 1973 році перейшов до Тель-Авівського університету (де заснував та очолював департамент комп'ютерних наук), після чого повернувся до інституту імені Вейцмана як професор. 1999 року Пнуелі приєднався до Нью-Йоркського університету (кафедра комп'ютерних наук).

1996 року отримав премію Тюрінга за свої внески у розвиток інформатики, зокрема за створення логіки лінійного часу[en] LTL (англ. Linear Temporal Logic), яка використовується у сфері формальної верифікації комп'ютерних програм. Пнуелі також був лауреатом Премії Ізарїлю, членом асоціації обчислювальної техніки ACM (англ. Association for Computing Machinery) та іноземним членом національної академії наук США. Помер в Мангеттені 2 листопада 2009 року від геморагічного інсульту. Був одружений, мав сина, двох доньок та чотирьох онуків.[4]

Наукові дослідження[ред. | ред. код]

У своїй науковій праці, Пнуелі переважно займався проблемами семантики та верифікації паралельних програм, темпоральною логікою, та перевіркою моделей. Також він працював над проблемами синтезу та веріфікації програм, гібридних систем та систем реального часу.

Наукові публікації[ред. | ред. код]

  • Pnueli, Amir. The temporal logic of programs, Foundations of Computer Science, pp. 46--57, 1977, ISSN 0272-5428. (IEEE URL, PDF) (англ.)
  • Harel, David, and Pnueli, Amir. On the development of reactive systems. Springer, 1985. (PDF [Архівовано 23 грудня 2015 у Wayback Machine.]) (англ.)
  • Pnueli, Amir, and Roni Rosner. On the synthesis of a reactive module. Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages. ACM, 1989. (PDF [Архівовано 18 листопада 2015 у Wayback Machine.]) (англ.)
  • Pnueli, Amir. The temporal semantics of concurrent programs. Theoretical computer science 13.1 (1981): 45-60. (URL [Архівовано 3 березня 2022 у Wayback Machine.]) (англ.)
  • Maler, Oded, and Manna, Zohar, and Pnueli, Amir. From timed to hybrid systems. Real-time: theory in practice. Springer, 1992. (PDF [Архівовано 7 березня 2016 у Wayback Machine.]) (англ.)
  • Piterman, Nir, and Pnueli, Amir, and Sa'ar, Yaniv. Synthesis of reactive (1) designs. Verification, Model Checking, and Abstract Interpretation. Springer, 2006. (PDF [Архівовано 23 вересня 2015 у Wayback Machine.]) (англ.)

Підручники[ред. | ред. код]

  • Manna, Zohar, and Pnueli, Amir. The temporal logic of reactive and concurrent systems: Specification. Springer-Verlag, 1991. (англ.)
  • Manna, Zohar, and Pnueli, Amir. Temporal verification of reactive systems: Safety. Springer-Verlag, 1995. (англ.)

Примітки[ред. | ред. код]

  1. ↑ а б Амір Пнуелі, Mathematics Genealogy Project [Архівовано 19 листопада 2015 у Wayback Machine.] (англ.)
  2. ↑ а б в г д е ж и к л м н п р с т у ф х ц ш щ ю я аа Математичний генеалогічний проєкт — 1997.
  3. ↑ https://weizmann.primo.exlibrisgroup.com/discovery/delivery/972WIS_INST:972WIS_V1/1229736150003596
  4. ↑ Некролог Аміра Пнуелі у New York Times [Архівовано 3 листопада 2015 у Wayback Machine.] (англ.)

Посилання[ред. | ред. код]

Ізраїль Це незавершена стаття про людину з Ізраїлю.
Ви можете допомогти проєкту, виправивши або дописавши її.
науковець Це незавершена стаття про науковця.
Ви можете допомогти проєкту, виправивши або дописавши її.
Джон фон Нейман Це незавершена стаття про IT-спеціаліста чи спеціалістку.
Ви можете допомогти проєкту, виправивши або дописавши її.
Отримано з https://uk.wikipedia.org/w/index.php?title=Амір_Пнуелі&oldid=38890409