Zohar Manna

Zohar Manna (* 17. január 1939, Haifa, Izrael[1] – † 30. august 2018, Netanya, Izrael)[2] bol americký informatik a profesor na Stanfordovej univerzite.

Zohar Manna
americký informatik
Narodenie17. január 1939
Haifa, Izrael
Úmrtie30. august 2018 (79 rokov)
Netanya, Izrael
Alma materIzraelský technologický inštititút - Technion
Carnegie Mellon University
ManželkaNitza Kletchevsky (1963  2018)
Deti4
Biografický portál

Je známy predovšetkým ako autor knihy The Mathematical Theory of Computation vydanej v roku 1974, jednej z prvých kníh poskytujúcich systematický výklad matematickej teórie programovania. Je autorom aj viacerých iných kníh, najmä o teórii programovania a temporálnej logike.

Referencie

  1. Lebens- und Karrieredaten nach American Men and Women of Science, Thomson Gale 2004
  2. ABATE, Tom. Stanford computer science pioneer Zohar Manna dies at age 79 [online]. news.stanford.edu, 2018-09-06, [cit. 2021-01-17]. Dostupné online. (po anglicky)

Externé odkazy



This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.