View source for Zohar Manna

{{Short description|American-Israeli computer scientist (1939–2018)}}
{{Infobox scientist
| name              = Zohar Manna
| native_name       = זהר מנה
| native_name_lang  = he
| image             = <!-- Filename only, no "File:" prefix -->
| alt               = 
| caption           = 
| birth_name        = <!-- if different from "name" -->
| birth_date        = <!--{{birth year |1939}}-->1939
| birth_place       = [[Haifa]], [[Mandatory Palestine]]
| death_date        = {{death date and age |2018|08|30 |1939}} <!-- If known, add |mm|dd -->
| death_place       = 
| death_cause       = 
| resting_place     = 
| resting_place_coordinates = <!--{{coord|LAT|LONG|type:landmark|display=inline,title}}-->
| other_names       = 
| pronounce         = 
| citizenship       = 
| nationality       = Israeli-American
| fields            = [[Computer science]]
| workplaces        = [[Weizmann Institute of Science]]<br/>[[Stanford University]]
| patrons           = 
| education         = [[Technion – Israel Institute of Technology]] ([[Bachelor of Science|BS]], [[Master of Science|MS]])<br/>[[Carnegie Mellon University]] ([[PhD]])
| thesis_title      = <!--(or | thesis1_title = and | thesis2_title = )-->
| thesis_url        = <!--(or | thesis1_url = and | thesis2_url = )-->
| thesis_year       = <!--(or | thesis1_year = and | thesis2_year = )-->
| doctoral_advisor  = <!--(or | doctoral_advisors = )-->
| academic_advisors = 
| doctoral_students = [[Nachum Dershowitz]], [[Adi Shamir]], [[Thomas Henzinger]], [[Pierre Wolper]], [[Martín Abadi]]
| notable_students  = 
| known_for         = 
| influences        = 
| influenced        = 
| awards            = [[List of Fellows of the Association for Computing Machinery|Fellow of the Association for Computing Machinery]]<br/>[[Herbrand Award]]<br/>Bauer Prize, [[Technical University of Munich]]<br/>Honorary PhD, [[École Normale Supérieure de Cachan]]
| spouse            = Nitza
| children          = 4
| signature         = <!-- Filename only -->
| signature_alt     = 
| website           = {{URL|theory.stanford.edu/~zm}}
| footnotes         = 
}}
'''Zohar Manna''' ({{Langx|he|זהר מנה}}; 1939 – 30 August 2018)<ref>{{Cite news |last=Abate |first=Tom |date=6 September 2018 |url=https://news.stanford.edu/2018/09/06/computer-science-pioneer-zohar-manna-dies/ |title=Stanford computer science pioneer Zohar Manna dies at age 79 |website=Stanford University}}</ref> was an Israeli-American [[computer scientist]] who was a professor of [[computer science]] at [[Stanford University]].

== Biography ==
He was born in [[Haifa]], [[Mandatory Palestine]] in 1939. He earned his [[Bachelor of Science]] (BS) and [[Master of Science]] (MS) degrees from the [[Technion – Israel Institute of Technology]].

He attended [[Carnegie Mellon University]] and earned his [[Doctor of Philosophy]] (PhD) in [[computer science]] in 1968.

Manna returned to Israel in 1972 as a professor of applied mathematics at the [[Weizmann Institute of Science]]. He became a full professor at Stanford in 1978. He remained affiliated with the Weizmann Institute of Science until 1995. He continued to work as a Stanford professor until retirement in 2010.

== Books ==
He authored nine books. ''The Mathematical Theory of Computation'' (McGraw Hill, 1974; reprinted Dover, 2003) is one of the first texts to provide extensive coverage of the mathematical concepts behind computer programming.

With [[Amir Pnueli]], he co-authored an [[unfinished work|unfinished]] trilogy of textbooks on temporal logic and verification of reactive systems: ''The Temporal Logic of Reactive and Concurrent Systems: Specification'' (Springer-Verlag, 1991), ''The Temporal Logic of Reactive and Concurrent Systems: Safety'' (Springer-Verlag, 1995) and ''The Temporal Logic of Reactive and Concurrent Systems: Progress'' (unpublished; first three chapters posted at [http://theory.stanford.edu/~zm/tvors3.html http://theory.stanford.edu/~zm/tvors3.html]).

With Aaron R. Bradley he co-authored a textbook, The Calculus of Computation, that serves as an introduction to both [[first-order logic]] and [[formal verification]].<ref>{{Cite book |last1=Bradley |first1=Aaron R. |last2=Manna |first2=Zohar |year=2007 |title=The Calculus of Computation: Decision Procedures with Applications to Verification |publisher=[[Springer-Verlag]] |isbn=978-3-540-74112-1 |doi=10.1007/978-3-540-74113-8}}</ref>

== Awards ==
In 1994, he was inducted as a [[List of Fellows of the Association for Computing Machinery|Fellow of the Association for Computing Machinery]]. In 2016, he shared the [[Herbrand Award]] with [[Richard Waldinger]] for his ''″pioneering research and pedagogical contributions (with Richard Waldinger) to automated reasoning, program synthesis, planning, and formal methods″''.<ref name=herbrand>{{URL|http://www.cadeinc.org/HerbrandAward.html}}</ref> He received the Bauer Prize from the [[Technical University of Munich]], and an honorary doctorate from the [[École Normale Supérieure de Cachan]].

== Advising ==
He supervised 30 doctoral students, including [[Nachum Dershowitz]], [[Adi Shamir]], [[Thomas Henzinger]], [[Pierre Wolper]], and [[Martín Abadi]].

==See also==
* [[Temporal logic]]
* Reactive systems
* [[Concurrency (computer science)]]

==References==
{{Reflist}}

==External links==
*{{Official website|theory.stanford.edu/~zm}}
*{{MathGenealogy |id=19351}}

{{Authority control}}

{{DEFAULTSORT:Manna, Zohar}}
[[Category:1939 births]]
[[Category:2018 deaths]]
[[Category:Educators from Haifa]]
[[Category:Stanford University School of Engineering faculty]]
[[Category:1994 fellows of the Association for Computing Machinery]]
[[Category:Carnegie Mellon University alumni]]

{{US-scientist-stub}}
{{US-compu-bio-stub}}