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
- 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)
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.