World's Best Scientists 2026 revealed!

D-Index & Metrics

Computer Science

D-Index
86
Citations
35184
World Ranking
761
National Ranking
407

Research.com Recognitions

  • 1994 - ACM Fellow
  • 1981 - Fellow of John Simon Guggenheim Memorial Foundation

Overview

Zohar Manna is affiliated with Stanford University in the United States. Throughout their career, they have been recognized with prestigious awards, including the ACM Fellow designation in 1994 and the Fellowship of the John Simon Guggenheim Memorial Foundation in 1981.

While specific publications and research topics are not enumerated here, Manna's professional background places them in a context of significant contributions to computer science and related areas. Their association with Stanford University suggests involvement in advanced computational research and academic activities within one of the leading institutions globally.

Their recognition by the ACM signifies notable contributions to the computing field, as this fellowship is awarded to individuals who have achieved excellence in the areas of computer science and engineering.

The Guggenheim Fellowship awarded in 1981 further indicates that Manna's work has garnered attention beyond purely academic circles, supporting scholarship that advances knowledge in their field.

Best Publications

  • The temporal logic of reactive and concurrent systems

    Zohar Manna;Amir Pnueli

  • The Temporal Logic of Reactive and Concurrent Systems: Specification

    Amir Pnueli;Zohar Manna

  • Temporal Verification of Reactive Systems: Safety

    Zohar Manna;Amir Pnueli

  • Temporal Verification of Reactive Systems

    Zohar Manna;Amir Pnueli

  • Mathematical Theory of Computation

    Zohar Manna

  • The temporal logic of branching time

    Mordechai Ben-Ari;Amir Pnueli;Zohar Manna

  • A Deductive Approach to Program Synthesis

    Zohar Manna;Richard Waldinger

  • Synthesis of communicating processes from temporal logic specifications

    Zohar Manna;Pierre Wolper

  • Proving termination with multiset orderings

    Nachum Dershowitz;Zohar Manna

  • From Timed to Hybrid Systems

    Oded Maler;Zohar Manna;Zohar Manna;Amir Pnueli

  • Formal verification of probabilistic systems

    Zohar Manna;Luca De Alfaro

  • Verification of concurrent programs, Part I: The temporal framework

    Z Manna;Amir Pnueli

  • The Calculus of Computation: Decision Procedures with Applications to Verification

    Aaron R. Bradley;Zohar Manna

  • Timed Transition Systems

    Thomas A. Henzinger;Zohar Manna;Zohar Manna;Amir Pnueli

  • What Good Are Digital Clocks

    Thomas A. Henzinger;Zohar Manna;Amir Pnueli

  • What's decidable about arrays?

    Aaron R. Bradley;Zohar Manna;Henny B. Sipma

  • Toward automatic program synthesis

    Zohar Manna;Richard J. Waldinger

  • Non-linear loop invariant generation using Gröbner bases

    Sriram Sankaranarayanan;Henny B. Sipma;Zohar Manna

  • The logical basis for computer programming. Volume 1: deductive reasoning

    Zohar Manna;Richard Waldinger

  • LOLA: runtime monitoring of synchronous systems

    B. D'Angelo;S. Sankaranarayanan;C. Sanchez;W. Robinson

  • The temporal logic of branching time

    Mordechai Ben-Ari;Zohar Manna;Amir Pnueli

Frequent Co-Authors

Henny B. Sipma
Henny B. Sipma Aarno Labs
Amir Pnueli
Amir Pnueli Weizmann Institute of Science
Sriram Sankaranarayanan
Sriram Sankaranarayanan University of Colorado Boulder
Nikolaj Bjørner
Nikolaj Bjørner Microsoft (United States)
Bernd Finkbeiner
Bernd Finkbeiner Saarland University
Thomas A. Henzinger
Thomas A. Henzinger Institute of Science and Technology Austria
Nachum Dershowitz
Nachum Dershowitz Tel Aviv University
Luca de Alfaro
Luca de Alfaro University of California, Santa Cruz
Martín Abadi
Martín Abadi Google (United States)
Adi Shamir
Adi Shamir Weizmann Institute of Science

If you think any of the details on this page are incorrect, let us know.

Report an issue

We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:

Related Online Degrees & Career Pathways

Exploring computer science opens up multiple educational and career pathways, both online and on campus. Many students wonder, what masters program should I do to enhance my skills or boost my job prospects? A graduate degree can lead to advanced roles in fields such as artificial intelligence, data science, and software engineering.

If you’re just beginning or want a cost-effective head start, consider an online associate's degree in computer science or IT. These degrees provide foundational knowledge that can lead to entry-level positions or smooth transitions to bachelor’s programs.

Affordability is a key concern for many prospective students. There are cheap online college classes available, letting you complete essential coursework or prerequisites without the high costs of traditional education.

For students with less competitive transcripts, there are also reputable universities for low gpa. These options provide accessible entry points to higher education and rewarding careers in tech.

Best Scientists Citing Zohar Manna