imported>SchlurcherBot: Bot: http → https

2025-06-30T07:10:40Z

Bot: http → https

Neue Seite

'''Zohar Manna''' (* [[17. Januar]] [[1939]] in [[Haifa]]<ref>Lebens- und Karrieredaten nach ''American Men and Women of Science'', Thomson Gale 2004</ref>; † [[30. August]] [[2018]] in [[Netanja]]<ref>[https://news.stanford.edu/2018/09/06/computer-science-pioneer-zohar-manna-dies/ Nachruf der Stanford University]</ref>) war ein israelisch-US-amerikanischer [[Informatiker]]. Er war Professor an der [[Stanford University]].

Manna studierte am [[Technion]] in Haifa mit dem Bachelorabschluss 1961 und dem Masterabschluss 1965. Er wurde 1968 bei [[Robert W. Floyd]] (und [[Alan Perlis]]) an der [[Carnegie Mellon University]] promoviert (''Termination of algorithms'')<ref>[http://genealogy.math.ndsu.nodak.edu/id.php?id=19351&fChrono=1 Mathematics Genealogy Project]</ref>. Er war seit 1968 Professor in Stanford und außerdem seit 1972 Professor am [[Weizmann-Institut]].

Er befasste sich unter anderem mit der Logik von Programmen, [[Temporale Logik|temporaler Logik]] und deren Anwendung in der Verifikation [[Reaktives System (Informatik)|reaktiver Systeme]].

1992 erhielt er den ersten [[Friedrich L. Bauer-Preis]], 2016 mit Richard Waldinger den [[Herbrand Award]]. Er war Fellow der [[Association for Computing Machinery]]. 1968 war er Guggenheim Fellow.

== Schriften ==
* mit Aaron R. Bradley ''The calculus of computation: decision problems with applications to verification'', Springer Verlag 2007
* ''The mathematical theory of computation'', McGraw Hill 1974, Reprint Dover 2003
* mit Richard Waldinger ''The deductive foundations of computer programming'', Addison-Wesley 1993
* mit Amir Pnueli ''The temporal logic of reactive and concurrent systems. Specification'', Springer Verlag 1992
* mit Amir Pnueli ''Temporal verification of reactive systems: safety'', Springer Verlag 1995

== Weblinks ==
* [https://theory.stanford.edu/~zm/ Homepage]

== Einzelnachweise ==
<references />

{{Normdaten|TYP=p|GND=128838248|LCCN=n/80/82454|NDL=00448710|VIAF=91223528}}

{{SORTIERUNG:Manna, Zohar}}
[[Kategorie:Informatiker]]
[[Kategorie:Israeli]]
[[Kategorie:US-Amerikaner]]
[[Kategorie:Geboren 1939]]
[[Kategorie:Gestorben 2018]]
[[Kategorie:Mann]]

{{Personendaten
|NAME=Manna, Zohar
|ALTERNATIVNAMEN=
|KURZBESCHREIBUNG=israelisch-US-amerikanischer Informatiker
|GEBURTSDATUM=17. Januar 1939
|GEBURTSORT=[[Haifa]]
|STERBEDATUM=30. August 2018
|STERBEORT=[[Netanja]]
}}

Zohar Manna - Versionsgeschichte

imported>SchlurcherBot: Bot: http → https