Professor Zohar Manna

Ph.D. Zohar Manna
Professor of Computer Science at Stanford University

- www.cs.stanford.edu/~zm/
The STeP (Stanford Temporal Prover) system supports the computer-aided formal verification of reactive, real-time and hybrid systems based on their temporal specification.

- Aaron R. Bradley and Zohar Manna. The Calculus of Computation: Decision Procedures with Applications to Verification. Springer, 2007.

- Zohar Manna, On-line papers (in reverse chronological order):
http://theory.stanford.edu/~zm/papers.html

- Manna and Calogero G. Zarba, Combining Decision Procedures Zohar, Stanford University, [online], www.infsec.ethz.ch/education/ws0506/decproc/combining.pdf


- Zohar Manna's Doctoral Descendents and Ancestors: www.cs.tau.ac.il/~nachumd/Ztree.html


- Zohar Manna's Doctoral Descendents: http://theory.stanford.edu/~srirams/Zohar/Ztree.html


Acknowledgements
Thank the professor that in 1977 sent me a package post. The package containing the book published in 1974 and several scientific articles.We used the book to the development paper license. Thank you very much sir!

Trebuie sa-i multumesc si astazi domnului profesor Manna pentru ca in anul 1977 mi-a trimis prin colet postal cartea sa "Mathematical theory of computation. McGraw Hill, 1974" publicata in anul 1974. Eram student si am folosit tot ce mi-a trimis la elaborarea lucrarii mele de licenta. Trebuie sa recunosc ca am fost foarte mirat de amabilitatea sa, tinand seama ca Romania este despartita de U.S.A printr-un ocean foarte mare.

---