Azərbaycanca AzərbaycancaБеларускі БеларускіDansk DanskDeutsch DeutschEspañola EspañolaFrançais FrançaisIndonesia IndonesiaItaliana Italiana日本語 日本語Қазақ ҚазақLietuvos LietuvosNederlands NederlandsPortuguês PortuguêsРусский Русскийසිංහල සිංහලแบบไทย แบบไทยTürkçe TürkçeУкраїнська Українська中國人 中國人United State United StateAfrikaans Afrikaans
Підтримка
www.wikidata.uk-ua.nina.az

Зохар Манна івр זוהר מנה англ Zohar Manna 1939 ізраїльський та американський науковець в галузі інформатики професор Сте

Зохар Манна

Зохар Манна

Зохар Манна (івр. זוהר מנה‎; англ. Zohar Manna, *1939) — ізраїльський та американський науковець в галузі інформатики, професор Стенфордського університету.

Зохар Манна
івр. זוהר מנה‎
Народився1939(1939)
Хайфа, Ізраїль
Помер30 серпня 2018(2018-08-30)[5][6][7] (79 років)
Нетанья, d, Центральний округ, Ізраїль
Місце проживанняimage США
Країнаimage США
image Ізраїль
Діяльністьвикладач університету, інформатик, інженер
Alma materТехніон,
Університет Карнегі-Меллон
Галузьінформатика, програмування
ЗакладСтенфордський університет,
Науково-дослідний інститут імені Вейцмана
Науковий керівникРоберт Флойд,
Алан Перліс
ВчителіАлан Перліс
Відомі учніАді Шамір
Аспіранти, докторантиАді Шамір
d
d
d
d[8]
d[8]
d[8]
d[8]
d[8]
d[8]
d[8]
d[8]
d[8]
d[8]
d[8]
d[8]
d[8]
d[8]
d[8]
d[8]
d[8]
d[8]
d[8]
d[8]
d[8]
d[8]
d[8]
d[8]
d[8]
ЧленствоAssociation for Computing Machinery[9]
НагородиГрант Ґуґґенхайма (1981),
[en] (2016)
Особ. сторінкаtheory.stanford.edu/~zm/
Див. також: Манна (значення)

Біографія

Народився та виріс у місті Хайфа, Ізраїль. Вивчав математику в Техніоні, отримавши ступінь бакалавра 1962 та ступінь магістра 1965 року. Працював програмістом у збройних силах Ізраїлю в 1962—1964 рр. Продовжив навчання в університеті Карнегі-Меллон, де вивчав інформатику та 1968 року захистив дисертацію на ступінь доктора під керівництвом лауреатів премії Тюрінга Роберта Флойда та Алана Перліса.

Нагороди

У 1994 році став членом Асоціації обчислювальної техніки (Association for Computing Machinery). У 2016 році він розділив Премію Гербранда з Річардом Вальдінгером за "новаторські дослідження та педагогічний внесок (разом з Річардом Вальдінгером) в автоматизовані міркування, синтез програм, планування та формальні методи". Він отримав премію Бауера від Мюнхенського технічного університету та почесний докторський ступінь від Вищої нормальної школи Кашана.

Підручники

  • Manna, Zohar; Pnieli, Amir (1992). The Temporal Logic of Reactive and Concurrent Systems: Specification. Springer-Verlag. ISBN . (англ.)
  • Manna, Zohar; Pnieli, Amir (1995). Temporal Verification of Reactive Systems: Safety. Springer-Verlag. ISBN . (англ.)
  • Manna, Zohar (2003). Mathematical Theory of Computation. Dover. ISBN . (англ.)
  • Manna, Zohar; Waldinger, Richard (1993). The Deductive Foundations of Computer Programming. Addison-Wesley Professional. ISBN . (англ.)
  • Manna, Zohar; Waldinger, Richard (1985). The Logical Basis for Computer Programming, Vol. 1: Deductive Reasoning. Addison-Wesley Professional. ISBN . (англ.)

Публікації

  • Zohar Manna; Richard Waldinger (Jan. 1980). A Deductive Approach to Program Synthesis. ACM Transactions on Programming Languages and Systems (TOPLAS). ACM. 2 (1): 90—121. doi:10.1145/357084.357090. (англ.)

Примітки

  1. Nachum Dershowitz, Pæan to Zohar Manna, 2003 [ 8 січня 2013 у Wayback Machine.].(англ.)
  2. Зохар Манна, математична генеалогія [ 3 березня 2016 у Wayback Machine.].(англ.)
  3. www.gf.org/fellows/all-fellows/zohar-manna/ (англ.)
  4. www.cadeinc.org/HerbrandAward.html (англ.)
  5. https://twitter.com/vardi/status/1035138216725237760
  6. Музей Соломона Гуггенгайма — 1937.
    d:Track:Q10498496d:Track:Q201469
  7. Bibliothèque nationale de France BNF: платформа відкритих даних — 2011.
    d:Track:Q19938912d:Track:Q54837d:Track:Q193563
  8. Математичний генеалогічний проєкт — 1997.
    d:Track:Q829984
  9. https://awards.acm.org/fellows/award-recipients

Посилання

  • Перелік публікацій на DBLP [ 10 березня 2016 у Wayback Machine.] (англ.)


image Це незавершена стаття про людину з Ізраїлю.
Ви можете проєкту, виправивши або дописавши її.
image Це незавершена стаття про науковця.
Ви можете проєкту, виправивши або дописавши її.
image Це незавершена стаття про IT-спеціаліста чи спеціалістку.
Ви можете проєкту, виправивши або дописавши її.

Вікіпедія, Українська, Україна, книга, книги, бібліотека, стаття, читати, завантажити, безкоштовно, безкоштовно завантажити, mp3, відео, mp4, 3gp, jpg, jpeg, gif, png, малюнок, музика, пісня, фільм, книга, гра, ігри, мобільний, телефон, android, ios, apple, мобільний телефон, samsung, iphone, xiomi, xiaomi, redmi, honor, oppo, nokia, sonya, mi, ПК, web, Інтернет

Zohar Manna ivr זוהר מנה angl Zohar Manna 1939 izrayilskij ta amerikanskij naukovec v galuzi informatiki profesor Stenfordskogo universitetu Zohar Mannaivr זוהר מנה Narodivsya1939 1939 Hajfa IzrayilPomer30 serpnya 2018 2018 08 30 5 6 7 79 rokiv Netanya d Centralnij okrug IzrayilMisce prozhivannya SShAKrayina SShA IzrayilDiyalnistvikladach universitetu informatik inzhenerAlma materTehnion Universitet Karnegi MellonGaluzinformatika programuvannyaZakladStenfordskij universitet Naukovo doslidnij institut imeni VejcmanaNaukovij kerivnikRobert Flojd Alan PerlisVchiteliAlan PerlisVidomi uchniAdi ShamirAspiranti doktorantiAdi Shamir d d d d 8 d 8 d 8 d 8 d 8 d 8 d 8 d 8 d 8 d 8 d 8 d 8 d 8 d 8 d 8 d 8 d 8 d 8 d 8 d 8 d 8 d 8 d 8 d 8 d 8 ChlenstvoAssociation for Computing Machinery 9 NagorodiGrant Guggenhajma 1981 en 2016 Osob storinkatheory stanford edu zm Div takozh Manna znachennya BiografiyaNarodivsya ta viris u misti Hajfa Izrayil Vivchav matematiku v Tehnioni otrimavshi stupin bakalavra 1962 ta stupin magistra 1965 roku Pracyuvav programistom u zbrojnih silah Izrayilyu v 1962 1964 rr Prodovzhiv navchannya v universiteti Karnegi Mellon de vivchav informatiku ta 1968 roku zahistiv disertaciyu na stupin doktora pid kerivnictvom laureativ premiyi Tyuringa Roberta Flojda ta Alana Perlisa Nagorodi U 1994 roci stav chlenom Asociaciyi obchislyuvalnoyi tehniki Association for Computing Machinery U 2016 roci vin rozdiliv Premiyu Gerbranda z Richardom Valdingerom za novatorski doslidzhennya ta pedagogichnij vnesok razom z Richardom Valdingerom v avtomatizovani mirkuvannya sintez program planuvannya ta formalni metodi Vin otrimav premiyu Bauera vid Myunhenskogo tehnichnogo universitetu ta pochesnij doktorskij stupin vid Vishoyi normalnoyi shkoli Kashana PidruchnikiManna Zohar Pnieli Amir 1992 The Temporal Logic of Reactive and Concurrent Systems Specification Springer Verlag ISBN 978 0387976648 angl Manna Zohar Pnieli Amir 1995 Temporal Verification of Reactive Systems Safety Springer Verlag ISBN 978 0387944593 angl Manna Zohar 2003 Mathematical Theory of Computation Dover ISBN 978 0486432380 angl Manna Zohar Waldinger Richard 1993 The Deductive Foundations of Computer Programming Addison Wesley Professional ISBN 978 0201548860 angl Manna Zohar Waldinger Richard 1985 The Logical Basis for Computer Programming Vol 1 Deductive Reasoning Addison Wesley Professional ISBN 978 0201182606 angl Publikaciyi Zohar Manna Richard Waldinger Jan 1980 A Deductive Approach to Program Synthesis ACM Transactions on Programming Languages and Systems TOPLAS ACM 2 1 90 121 doi 10 1145 357084 357090 angl PrimitkiNachum Dershowitz Paean to Zohar Manna 2003 8 sichnya 2013 u Wayback Machine angl Zohar Manna matematichna genealogiya 3 bereznya 2016 u Wayback Machine angl www gf org fellows all fellows zohar manna angl www cadeinc org HerbrandAward html angl https twitter com vardi status 1035138216725237760 Muzej Solomona Guggengajma 1937 d Track Q10498496d Track Q201469 Bibliotheque nationale de France BNF platforma vidkritih danih 2011 d Track Q19938912d Track Q54837d Track Q193563 Matematichnij genealogichnij proyekt 1997 d Track Q829984 https awards acm org fellows award recipientsPosilannyaPerelik publikacij na DBLP 10 bereznya 2016 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

Дата публікації:
Топ