Амір Пнуелі (івр. אמיר פנואלי; англ. Amir Pnueli; нар.22 квітня 1941 — пом.2 листопада 2009) — ізраїльський вчений-теоретик в галузі комп'ютерних наук, лауреат премії Тюрінга.
Амір Пнуелі | |
---|---|
івр. אמיר פנואלי | |
Амір Пнуелі (конференція FLoC 2006) | |
Народився | 22 квітня 1941 [en], Британський мандат у Палестині |
Помер | 2 листопада 2009 (68 років) Мангеттен, США ·геморагічний інсульт |
Країна | Ізраїль |
Діяльність | інформатик, інженер, педагог, викладач університету, математик |
Alma mater | Техніон, Науково-дослідний інститут імені Вейцмана |
Галузь | Інформатика |
Заклад | Стенфордський університет, Тель-Авівський університет, Науково-дослідний інститут імені Вейцмана, Нью-Йоркський університет |
Науковий керівник | Хаїм Пекеріс івр. חיים לייב פקריס |
Аспіранти, докторанти | d d[2] d[2] d[2] d[2] d[2] d[2] d[2] d[2] d[2] d[2] d[2] d[2] d[2] d[2] d[2] d[2] d[2] d[2] d[2] Аріель Коен[d][2] d[2] d[2] d[2] d[2] d[2] d[3] |
Членство | Ізраїльська академія природничих і гуманітарних наук Association for Computing Machinery[4] Національна інженерна академія США |
Відомий завдяки: | [en] LTL |
Нагороди | Премія Тюрінга (1996), Премія Ізраїлю (2000), [en] (2007) |
Особ. сторінка | cs.nyu.edu/cs/faculty/pnueli/ |
Амір Пнуелі у Вікісховищі |
Біографія
Амір Пнуелі народився в [en] (Ізраїль) 22 квітня 1941 року. Вивчав математику в Техніоні (місто Хайфа) та захистив докторську дисертацію (на тему прикладної математики, «Вирішення проблем припливів у простих басейнах») у науково-дослідному інституті імені Вейцмана (місто Реховот) в 1967 році.
Під час роботи в Стенфодському університеті Пнуелі почав працювати в розділі інформатики, після чого повернувся в Ізраїль, де працював у департаменті прикладної математики в інституті імені Вейцмана. В 1973 році перейшов до Тель-Авівського університету (де заснував та очолював департамент комп'ютерних наук), після чого повернувся до інституту імені Вейцмана як професор. 1999 року Пнуелі приєднався до Нью-Йоркського університету (кафедра комп'ютерних наук).
1996 року отримав премію Тюрінга за свої внески у розвиток інформатики, зокрема за створення [en] LTL (англ. Linear Temporal Logic), яка використовується у сфері формальної верифікації комп'ютерних програм. Пнуелі також був лауреатом Премії Ізарїлю, членом асоціації обчислювальної техніки ACM (англ. Association for Computing Machinery) та іноземним членом національної академії наук США. Помер в Мангеттені 2 листопада 2009 року від геморагічного інсульту. Був одружений, мав сина, двох доньок та чотирьох онуків.
Наукові дослідження
У своїй науковій праці, Пнуелі переважно займався проблемами семантики та верифікації паралельних програм, темпоральною логікою, та перевіркою моделей. Також він працював над проблемами синтезу та веріфікації програм, гібридних систем та систем реального часу.
Наукові публікації
- Pnueli, Amir. The temporal logic of programs, Foundations of Computer Science, pp. 46--57, 1977, ISSN 0272-5428. (IEEE URL, ) (англ.)
- Harel, David, and Pnueli, Amir. On the development of reactive systems. , 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. (англ.)
Примітки
- Амір Пнуелі, Mathematics Genealogy Project [ 19 листопада 2015 у Wayback Machine.] (англ.)
- Математичний генеалогічний проєкт — 1997.
- https://weizmann.primo.exlibrisgroup.com/discovery/delivery/972WIS_INST:972WIS_V1/1229736150003596
- https://www.acm.org/media-center/2007/december/acm-names-38-fellows-for-computing-and-it-innovations-in-industry-education-entertainment
- Некролог Аміра Пнуелі у New York Times [ 3 листопада 2015 у Wayback Machine.] (англ.)
Посилання
- Некролог Аміра Пнуелі у New York Times [ 3 листопада 2015 у Wayback Machine.]. (англ.)
- Біографія Аміра Пнуелі [ 1 вересня 2015 у Wayback Machine.]. (англ.)
- Особиста сторінка Аміра Пнуелі [ 2 листопада 2015 у Wayback Machine.]. (англ.)
- Амір Пнуелі, лауреат премії Тюрінга, Association for Computing Machinery [ 29 червня 2017 у Wayback Machine.]. (англ.)
Це незавершена стаття про людину з Ізраїлю. Ви можете проєкту, виправивши або дописавши її. |
Це незавершена стаття про науковця. Ви можете проєкту, виправивши або дописавши її. |
Це незавершена стаття про IT-спеціаліста чи спеціалістку. Ви можете проєкту, виправивши або дописавши її. |
Вікіпедія, Українська, Україна, книга, книги, бібліотека, стаття, читати, завантажити, безкоштовно, безкоштовно завантажити, mp3, відео, mp4, 3gp, jpg, jpeg, gif, png, малюнок, музика, пісня, фільм, книга, гра, ігри, мобільний, телефон, android, ios, apple, мобільний телефон, samsung, iphone, xiomi, xiaomi, redmi, honor, oppo, nokia, sonya, mi, ПК, web, Інтернет
Amir Pnueli ivr אמיר פנואלי angl Amir Pnueli nar 22 kvitnya 1941 pom 2 listopada 2009 izrayilskij vchenij teoretik v galuzi komp yuternih nauk laureat premiyi Tyuringa Amir Pnueliivr אמיר פנואלי Amir Pnueli konferenciya FLoC 2006 Amir Pnueli konferenciya FLoC 2006 Narodivsya22 kvitnya 1941 1941 04 22 en Britanskij mandat u PalestiniPomer2 listopada 2009 2009 11 02 68 rokiv Mangetten SShA gemoragichnij insultKrayinaIzrayilDiyalnistinformatik inzhener pedagog vikladach universitetu matematikAlma materTehnion Naukovo doslidnij institut imeni VejcmanaGaluzInformatikaZakladStenfordskij universitet Tel Avivskij universitet Naukovo doslidnij institut imeni Vejcmana Nyu Jorkskij universitetNaukovij kerivnikHayim Pekeris ivr חיים לייב פקריס Aspiranti doktorantid d 2 d 2 d 2 d 2 d 2 d 2 d 2 d 2 d 2 d 2 d 2 d 2 d 2 d 2 d 2 d 2 d 2 d 2 d 2 Ariel Koen d 2 d 2 d 2 d 2 d 2 d 2 d 3 ChlenstvoIzrayilska akademiya prirodnichih i gumanitarnih nauk Association for Computing Machinery 4 Nacionalna inzhenerna akademiya SShAVidomij zavdyaki en LTLNagorodiPremiya Tyuringa 1996 Premiya Izrayilyu 2000 en 2007 Osob storinkacs nyu edu cs faculty pnueli Amir Pnueli u VikishovishiBiografiyaAmir Pnueli narodivsya v en Izrayil 22 kvitnya 1941 roku Vivchav matematiku v Tehnioni misto Hajfa ta zahistiv doktorsku disertaciyu na temu prikladnoyi matematiki Virishennya problem pripliviv u prostih basejnah u naukovo doslidnomu instituti imeni Vejcmana misto Rehovot v 1967 roci Pid chas roboti v Stenfodskomu universiteti Pnueli pochav pracyuvati v rozdili informatiki pislya chogo povernuvsya v Izrayil de pracyuvav u departamenti prikladnoyi matematiki v instituti imeni Vejcmana V 1973 roci perejshov do Tel Avivskogo universitetu de zasnuvav ta ocholyuvav departament komp yuternih nauk pislya chogo povernuvsya do institutu imeni Vejcmana yak profesor 1999 roku Pnueli priyednavsya do Nyu Jorkskogo universitetu kafedra komp yuternih nauk 1996 roku otrimav premiyu Tyuringa za svoyi vneski u rozvitok informatiki zokrema za stvorennya en LTL angl Linear Temporal Logic yaka vikoristovuyetsya u sferi formalnoyi verifikaciyi komp yuternih program Pnueli takozh buv laureatom Premiyi Izaryilyu chlenom asociaciyi obchislyuvalnoyi tehniki ACM angl Association for Computing Machinery ta inozemnim chlenom nacionalnoyi akademiyi nauk SShA Pomer v Mangetteni 2 listopada 2009 roku vid gemoragichnogo insultu Buv odruzhenij mav sina dvoh donok ta chotiroh onukiv Naukovi doslidzhennyaU svoyij naukovij praci Pnueli perevazhno zajmavsya problemami semantiki ta verifikaciyi paralelnih program temporalnoyu logikoyu ta perevirkoyu modelej Takozh vin pracyuvav nad problemami sintezu ta verifikaciyi program gibridnih sistem ta sistem realnogo chasu Naukovi publikaciyiPnueli Amir The temporal logic of programs Foundations of Computer Science pp 46 57 1977 ISSN 0272 5428 IEEE URL angl Harel David and Pnueli Amir On the development of reactive systems Springer 1985 PDF 23 grudnya 2015 u Wayback Machine angl 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 listopada 2015 u Wayback Machine angl Pnueli Amir The temporal semantics of concurrent programs Theoretical computer science 13 1 1981 45 60 URL 3 bereznya 2022 u Wayback Machine angl Maler Oded and Manna Zohar and Pnueli Amir From timed to hybrid systems Real time theory in practice Springer 1992 PDF 7 bereznya 2016 u Wayback Machine angl Piterman Nir and Pnueli Amir and Sa ar Yaniv Synthesis of reactive 1 designs Verification Model Checking and Abstract Interpretation Springer 2006 PDF 23 veresnya 2015 u Wayback Machine angl Pidruchniki Manna Zohar and Pnueli Amir The temporal logic of reactive and concurrent systems Specification Springer Verlag 1991 angl Manna Zohar and Pnueli Amir Temporal verification of reactive systems Safety Springer Verlag 1995 angl PrimitkiAmir Pnueli Mathematics Genealogy Project 19 listopada 2015 u Wayback Machine angl Matematichnij genealogichnij proyekt 1997 d Track Q829984 https weizmann primo exlibrisgroup com discovery delivery 972WIS INST 972WIS V1 1229736150003596 https www acm org media center 2007 december acm names 38 fellows for computing and it innovations in industry education entertainment Nekrolog Amira Pnueli u New York Times 3 listopada 2015 u Wayback Machine angl PosilannyaNekrolog Amira Pnueli u New York Times 3 listopada 2015 u Wayback Machine angl Biografiya Amira Pnueli 1 veresnya 2015 u Wayback Machine angl Osobista storinka Amira Pnueli 2 listopada 2015 u Wayback Machine angl Amir Pnueli laureat premiyi Tyuringa Association for Computing Machinery 29 chervnya 2017 u Wayback Machine angl Ce nezavershena stattya pro lyudinu z Izrayilyu Vi mozhete dopomogti proyektu vipravivshi abo dopisavshi yiyi Ce nezavershena stattya pro naukovcya Vi mozhete dopomogti proyektu vipravivshi abo dopisavshi yiyi Ce nezavershena stattya pro IT specialista chi specialistku Vi mozhete dopomogti proyektu vipravivshi abo dopisavshi yiyi