Zohar Manna
Author
1939 –
Who is Zohar Manna?
Zohar Manna is a professor of computer science at Stanford University. He is the author of The Mathematical Theory of Computation, one of the first texts to provide extensive coverage of the mathematical concepts behind computer programming.
With Amir Pnueli, he co-authored an unfinished trilogy of textbooks on temporal logic and verification of reactive systems: The Temporal Logic of Reactive and Concurrent Systems: Specification, The Temporal Logic of Reactive and Concurrent Systems: Safety and The Temporal Logic of Reactive and Concurrent Systems: Progress.
In 1994 he was inducted as a Fellow of the Association for Computing Machinery.
We need you!
Help us build the largest biographies collection on the web!
- Born
- 1939
- Education
- Carnegie Mellon University
- Employment
- Stanford University
Submitted
on July 23, 2013
Citation
Use the citation below to add to a bibliography:
Style:MLAChicagoAPA
"Zohar Manna." Biographies.net. STANDS4 LLC, 2024. Web. 28 Apr. 2024. <https://www.biographies.net/people/en/zohar_manna>.
Discuss this Zohar Manna biography with the community:
Report Comment
We're doing our best to make sure our content is useful, accurate and safe.
If by any chance you spot an inappropriate comment while navigating through our website please use this form to let us know, and we'll take care of it shortly.
Attachment
You need to be logged in to favorite.
Log In