|
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.
|
