2026 Amir Pnueli: Computer Science Researcher – H-Index, Publications & Awards

Discipline name	D-Index	World Ranking	National Ranking	Publications	Citations
Computer Science	109	235	6	340	64078

Discipline name

D-Index

World Ranking

National Ranking

Publications

Citations

Computer Science

109

235

340

64078

Research.com Recognitions

2025 - Research.com Computer Science in Israel Leader Award
2023 - Research.com Computer Science in Israel Leader Award
2022 - Research.com Computer Science in Israel Leader Award
2007 - ACM Software System Award For Statemate, the first embodiment in a commercial computer-aided software engineering tool of a rigorous approach to model-driven development based on statecharts, and employing techniques for the executability of visual formalisms, and for code-generation.
2007 - ACM Fellow For contributions to program and system verification.
1996 - A. M. Turing Award For seminal work introducing temporal logic into computing science and for outstanding contributions to program and system verification.

Overview

Amir Pnueli was affiliated with the Weizmann Institute of Science in Israel.

Their research work primarily focused on the field of Computer Science, with specific expertise in Hardware and Architecture. Their main topics of study included Embedded Systems Design Techniques and Parallel Computing and Optimization Techniques.

Their publication record features papers such as:

VOC: A Methodology for the Translation Validation of Optimizing Compilers, 2020, TUGraz OPEN Library (Graz University of Technology)

Throughout their research career, Amir Pnueli collaborated frequently with the following coauthors:

Lenore D. Zuck
Yi Fang
Benjamin Goldberg

Amir Pnueli's work was published in venues including:

TUGraz OPEN Library (Graz University of Technology)

Recognition of their contributions to the field came through several awards, including:

ACM Fellow in 2007, for contributions to program and system verification
ACM Software System Award in 2007, for Statemate, the first embodiment in a commercial computer-aided software engineering tool of a rigorous approach to model-driven development based on statecharts, employing techniques for the executability of visual formalisms and for code-generation
A. M. Turing Award in 1996, for seminal work introducing temporal logic into computing science and for outstanding contributions to program and system verification

Best Publications

The temporal logic of programs

Amir Pnueli

9579
Citations
The temporal logic of reactive and concurrent systems

Zohar Manna;Amir Pnueli

4183
Citations
On the synthesis of a reactive module

A. Pnueli;R. Rosner

2251
Citations
The Temporal Logic of Reactive and Concurrent Systems: Specification

Amir Pnueli;Zohar Manna

2060
Citations
STATEMATE: a working environment for the development of complex reactive systems

D. Harel;H. Lachover;A. Naamad;A. Pnueli

1965
Citations
Temporal Verification of Reactive Systems: Safety

Zohar Manna;Amir Pnueli

1482
Citations
On the development of reactive systems

D. Harel;A. Pnueli

1479
Citations
Temporal Verification of Reactive Systems

Zohar Manna;Amir Pnueli

1164
Citations
The temporal semantics of concurrent programs

Amir Pnueli

1153
Citations
Two approaches to interprocedural data flow analysis

Micha Sharir;A Pnueli

1121
Citations
On the temporal analysis of fairness

Dov Gabbay;Amir Pnueli;Saharon Shelah;Jonathan Stavi

1099
Citations
Checking that finite state concurrent programs satisfy their linear specification

Orna Lichtenstein;Amir Pnueli

922
Citations
The temporal logic of branching time

Mordechai Ben-Ari;Amir Pnueli;Zohar Manna

890
Citations
The Programming Language Ada Reference Manual American National Standards Institute, Inc. ANSI/MIL-STD-1815A-1983

G. Goos;J. Hartmanis;D. Barstow;W. Brauer

750
Citations
On the synthesis of discrete controllers for timed systems

Oded Maler;Amir Pnueli;Joseph Sifakis

749
Citations
Synthesis of reactive(1) designs

Nir Piterman;Amir Pnueli;Yaniv Sa'ar

718
Citations
Marked directed graphs

F. Commoner;A. W. Holt;S. Even;A. Pnueli

708
Citations
Translation Validation

Amir Pnueli;Michael Siegel;Eli Singerman

703
Citations
The Glory of the Past

Orna Lichtenstein;Amir Pnueli;Lenore D. Zuck

667
Citations
In transition from global to modular temporal reasoning about programs

A. Pnueli

664
Citations
Synthesis of Reactive(1) designs

Roderick Bloem;Barbara Jobstmann;Nir Piterman;Amir Pnueli

519
Citations
Statemate: a working environment for the development of complex reactive systems

D. Harel;H. Lachover;A. Naamad;A. Pnueli

276
Citations

Frequent Co-Authors

Zohar Manna Stanford University

Lenore D. Zuck University of Illinois at Chicago

Oded Maler Grenoble Alpes University

David Harel Weizmann Institute of Science

Nir Piterman University of Gothenburg

Eugene Asarin Université Paris Cité

Howard Barringer University of Manchester

Joseph Sifakis Verimag

Thomas A. Henzinger Institute of Science and Technology Austria

Dov M. Gabbay University of Luxembourg

External Links

Wikipedia of Amir Pnueli Personal website of Amir Pnueli

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

Related Online Degrees & Career Pathways

Exploring your options in Computer Science? The flexibility of online education offers diverse degrees to match your goals. An associate's degree online can be the first step, providing foundational knowledge and helping you decide if a more advanced degree is right for you. For those concerned about the cost of study in the USA, there are many affordable online colleges that deliver quality programs without the hefty tuition fees.

If your academic record isn’t perfect, don’t worry—numerous online schools that accept low gpa make it possible for you to pursue a Computer Science degree and unlock new career opportunities. Beyond tech, computer science skills are also valuable in fields like environmental research. Wondering about interdisciplinary careers? Check out what pathways open up with a background in science and technology by exploring what can you get with an environmental science degree.

Whichever pathway you choose, online degrees provide accessible, scalable opportunities for building your future in today’s digital-driven world.