Zohar Manna

Zohar Manna (born 1939) is a professor of computer science at Stanford University. He is the author of The Mathematical Theory of Computation (McGraw Hill, 1974; reprinted Dover, 2003), 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 (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).

In 1994 he was inducted as a 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″.[1]

See also

References

  1. ↑ www.cadeinc.org/HerbrandAward.html

External links


This article is issued from Wikipedia - version of the 10/31/2016. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.