Zohar Manna

Zohar Manna Biografie

Geburt	17. Januar 1939 Haifa
Tod	30. August 2018(79 Jahre) Netanya
Nationalitäten	Israelischer Amerikaner
Ausbildung	Technion Carnegie-Mellon University ( Philosophiæ Doktor ) (bis1968)
Aktivitäten	Universitätsprofessor , Informatiker , Ingenieur

Andere Informationen

Arbeitete für	Stanford University (seit1968) , Weizmann-Institut (seit1972)
Feld	Informatik
Meister	Alan Perlis
Diplomarbeitsleiter	Alan Perlis , Robert Floyd
Auszeichnungen

Zohar Manna , geboren am17. Januar 1939in Haifa und starb am30. August 2018in Netanya , Israel , ist ein Israeli - amerikanische Informatiker .

Er war Professor an der Stanford University . Er ist bekannt als Autor von The Mathematical Theory of Computation , einem der ersten Werke, das die mathematischen Konzepte entwickelt, die die Grundlage der Computerprogrammierung bilden.

Biografie

Zohar Manna studiert am Technion in Haifa. Er erhielt 1961 einen Bachelor-Abschluss und 1965 einen Master-Abschluss . 1968 promovierte er bei Robert W. Floyd und Alan Perlis an der Carnegie-Mellon-Universität mit der Dissertation: Terminierung von Algorithmen . Ab 1968 war er Professor an der Stanford University und ab 1972 Professor am Weizmann Institute in Rehovot , Israel .

Seine Forschung konzentriert sich insbesondere auf Programmlogik , Zeitlogik und deren Anwendungen zur Verifikation reaktiver Systeme. Er hat zahlreiche Thesen verfasst. Zu seinen Schülern zählen Ashok K. Chandra , Jean Vuillemin, Shmuel Katz, Adi Shamir , Nachum Dershowitz, Pierre Wolper , Martin Abadi , Thomas Henzinger , Nikolaj Björner, Henny Sipma, Bernd Finkbeiner, Sriram Sankaranarayanan und Aaron Bradley.

Auszeichnungen und Anerkennung

Zohar Manna ist seit 1994 Mitglied der Association for Computing Machinery .
Er erhielt 1968 ein Guggenheim-Stipendium .
1992 erhielt er als erster den Friedrich-L.-Bauer-Preis .

Funktioniert

Die beiden Bücher mit Amir Pnueli ( Manna und Pnueli 1992 ) und ( Manna und Pnueli 1995 ) sind Teil einer Trilogie, deren dritter Band mit dem Titel Die zeitliche Logik reaktiver und gleichzeitiger Systeme: Fortschritt noch nicht abgeschlossen ist. Die ersten drei Kapitel dieses Bandes können online gelesen werden.

(en) Aaron R. Bradley und Zohar Manna, Der Rechenkalkül: Entscheidungsverfahren mit Verifizierungsanträgen , Berlin, Springer,2007XV + 366 p. ( ISBN 978-3-540-74112-1 , DOI 10.1007 / 978-3-540-74113-8 )
(en) Zohar Manna, Die mathematische Berechnungstheorie , Dover,2003464 p. ( ISBN 978-0486432380 ): Nachdruck von: Die mathematische Theorie der Berechnung , McGraw Hill,1974
(en) Zohar Manna und Richard J. Waldinger, Die deduktiven Grundlagen der Computerprogrammierung , Addison-Wesley,1993XIV + 717 p. ( ISBN 978-0-201-54886-0 )(Eine einbändige Version von Die logische Basis für die Computerprogrammierung
(en) Zohar Manna, Richard J. Waldinger und Johar Manna, Die logische Grundlage für die Computerprogrammierung. Band 1: deduktives Denken , Addison-Wesley,1985( ISBN 0-201-18260-2 )
(en) Zohar Manna und Richard J. Waldinger, Die logische Grundlage für die Computerprogrammierung. Band 2: deduktive Systeme , Addison-Wesley,1990( ISBN 978-0201182613 )
(en) Zohar Manna und Amir Pnueli, Die zeitliche Logik reaktiver und gleichzeitiger Systeme: Spezifikation , Springer,1992XIV + 427 p. ( ISBN 978-3-540-97664-6 )
(en) Zohar Manna und Amir Pnueli, Zeitliche Überprüfung reaktiver Systeme: Sicherheit , Springer,1995XV + 512 p. ( ISBN 978-0-387-94459-3 )

Anmerkungen und Referenzen

Daten von amerikanischen Männern und Frauen der Wissenschaft , Thomson Gale 2004.
(in) " Stanfords Informatikpionier Zohar Manna stirbt im Alter von 79 Jahren " , in den Stanford University News ,6. September 2018(abgerufen am 7. September 2018 )
(en) " Zohar Manna " auf der Website des Mathematics Genealogy Project
(in) Zohar Mannas Doktoranden der Stanford University.
(in) Manna / Pnueli: Die zeitliche Überprüfung reaktiver Systeme: Fortschritt .

Externe Links

Behördenaufzeichnungen :
Forschungsressourcen :
- (de) Digitales Bibliographie- und Bibliotheksprojekt
- (en) Mathematik-Genealogie-Projekt
- (en + ja + zh-Hans + zh-Hant + ru) Scopus
(de) Persönliche Seite auf der Website der Stanford University