Zohar Manna
Encyclopedia
Zohar Manna 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
.
Professor
A professor is a scholarly teacher; the precise meaning of the term varies by country. Literally, professor derives from Latin as a "person who professes" being usually an expert in arts or sciences; a teacher of high rank...
of computer science
Computer science
Computer science or computing science is the study of the theoretical foundations of information and computation and of practical techniques for their implementation and application in computer systems...
at Stanford University
Stanford University
The Leland Stanford Junior University, commonly referred to as Stanford University or Stanford, is a private research university on an campus located near Palo Alto, California. It is situated in the northwestern Santa Clara Valley on the San Francisco Peninsula, approximately northwest of San...
. 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
Unfinished work
An unfinished work is creative work that has not been finished. Its creator may have chosen never to finish it or may have been prevented from doing so by circumstances outside of their control such as death. Such pieces are often the subject of speculation as to what the finished piece would have...
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
Fellow
A fellow in the broadest sense is someone who is an equal or a comrade. The term fellow is also used to describe a person, particularly by those in the upper social classes. It is most often used in an academic context: a fellow is often part of an elite group of learned people who are awarded...
of the Association for Computing Machinery
Association for Computing Machinery
The Association for Computing Machinery is a learned society for computing. It was founded in 1947 as the world's first scientific and educational computing society. Its membership is more than 92,000 as of 2009...
.