Zohar Manna - Zohar Manna

Zohar Manna (1939-30. Srpna 2018)^[1] byl izraelsko-americký počítačový vědec kdo byl profesor z počítačová věda na Stanfordská Univerzita.

Životopis

Narodil se v Haifa, Izrael. Získal bakalářský i magisterský titul z Technion - Izraelský technologický institut.

Zúčastnil se Univerzita Carnegie Mellon a získal titul PhD počítačová věda v roce 1968.

Manna se vrátila do Izraele v roce 1972 jako profesorka aplikované matematiky na Weizmann Institute of Science. Řádným profesorem na Stanfordu se stal v roce 1978. Do roku 1995 zůstal členem Weizmann Institute of Science. Pracoval jako stanfordský profesor až do důchodu v roce 2010.

Knihy

Je autorem devíti knih. Matematická teorie výpočtu (McGraw Hill, 1974; dotisk Dover, 2003) je jedním z prvních textů, které poskytují rozsáhlé pokrytí matematických konceptů, které stojí za počítačovým programováním.

S Amir Pnueli, spoluautorem an nedokončený trilogie učebnic o časové logice a ověření reaktivních systémů: Časová logika reaktivních a souběžných systémů: Specifikace (Springer-Verlag, 1991), Časová logika reaktivních a souběžných systémů: bezpečnost (Springer-Verlag, 1995) a Časová logika reaktivních a souběžných systémů: pokrok (nepublikováno; první tři kapitoly zveřejněny na http://theory.stanford.edu/~zm/tvors3.html ).

S Aaronem R. Bradleyem spoluautorem učebnice The Calculus of Computation, která slouží jako úvod do obou logika prvního řádu a formální ověření.^[2]

Ocenění

V roce 1994 byl uveden jako Člen sdružení pro výpočetní techniku. V roce 2016 sdílel Herbrand Award s Richard Waldinger pro něj „Průkopnický výzkum a pedagogické příspěvky (s Richardem Waldingerem) k automatizovanému uvažování, syntéze programů, plánování a formálním metodám“.^[3]. Získal Bauerovu cenu na Technické univerzitě v Mnichově a čestný doktorát z École Normale Supérieure de Cachan.