Zohar Manna

z Wikipédie, slobodnej encyklopédie
Skočit na navigaci Skočit na vyhledávání
Zohar Manna
americký informatik
Narodenie17. január 1939
Haifa, Izrael
Úmrtie30. august 2018 (81 rokov)

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

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[upraviť | upraviť kód]

  1. Lebens- und Karrieredaten nach American Men and Women of Science, Thomson Gale 2004
  2. https://news.stanford.edu/2018/09/06/computer-science-pioneer-zohar-manna-dies/

Externé odkazy[upraviť | upraviť kód]