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 | |
Narodenie | 17. január 1939 Haifa, Izrael |
---|---|
Úmrtie | 30. august 2018 (79 rokov) Netanya, Izrael |
Alma mater | Izraelský technologický inštititút - Technion Carnegie Mellon University |
Manželka | Nitza Kletchevsky (1963 – 2018) |
Deti | 4 |
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ť- ↑ Lebens- und Karrieredaten nach American Men and Women of Science, Thomson Gale 2004
- ↑ 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
upraviť