Zohar Manna

From Wikipedia, the free encyclopedia

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.

External links

Authority control	WorldCat VIAF: 91223528 LCCN: n80082454 ISNI: 0000 0000 8163 7740 GND: 128838248 BNF: cb12375820f NDL: 00448710

Persondata
Name	Manna, Zohar
Alternative names
Short description
Date of birth	1939
Place of birth
Date of death
Place of death

This article is issued from Wikipedia. The text is available under the Creative Commons Attribution/Share Alike; additional terms may apply for the media files.