2023 - Research.com Computer Science in Israel Leader Award
2022 - Research.com Computer Science in Israel Leader Award
2007 - ACM Fellow For contributions to program and system verification.
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.
1996 - A. M. Turing Award For seminal work introducing temporal logic into computing science and for outstanding contributions to program and system verification.
Amir Pnueli focuses on Temporal logic, Theoretical computer science, Programming language, Linear temporal logic and Reactive system. His Temporal logic research is multidisciplinary, relying on both Algorithm and Satisfiability. His research integrates issues of Computation, Semantics and Parameterized complexity in his study of Theoretical computer science.
His work carried out in the field of Programming language brings together such families of science as Current and Automaton. The study incorporates disciplines such as Software system, Debugging, Software engineering and Diagrammatic reasoning in addition to Reactive system. His Computation tree logic research incorporates elements of Property Specification Language, Predicate, Automated reasoning and Deductive reasoning.
Theoretical computer science, Programming language, Temporal logic, Algorithm and Model checking are his primary areas of study. His Theoretical computer science study incorporates themes from Finite-state machine and Parameterized complexity. His work deals with themes such as Linear temporal logic and Reactive system, which intersect with Temporal logic.
His biological study spans a wide range of topics, including Multimodal logic and Dynamic logic. Amir Pnueli combines subjects such as Software engineering, Distributed computing, Set and Transition system with his study of Reactive system. As a part of the same scientific family, he mostly works in the field of Formal verification, focusing on Concurrency and, on occasion, Artificial intelligence.
His primary areas of investigation include Theoretical computer science, Programming language, Model checking, Temporal logic and Liveness. His Theoretical computer science study incorporates themes from Heap and Predicate. His Programming language study frequently links to related topics such as Parallel computing.
The concepts of his Model checking study are interwoven with issues in Recursion and Reachability. His Temporal logic research incorporates themes from Automaton, Satisfiability, Discrete system, Algorithm and Linear logic. The various areas that he examines in his Computation tree logic study include Temporal logic of actions and Interval temporal logic.
Amir Pnueli spends much of his time researching Programming language, Temporal logic, Theoretical computer science, Automaton and Formal methods. His work on Compiler, Formal language, Specification language and Formal specification is typically connected to Hardware description language as part of general Programming language study, connecting several disciplines of science. His Theoretical computer science study combines topics in areas such as Flow, Algorithm and State space.
Amir Pnueli has included themes like Point, Bounded function and Boolean data type in his Automaton study. All of his Linear temporal logic and Temporal logic of actions and Interval temporal logic investigations are sub-components of the entire Linear temporal logic study. The Temporal logic of actions study combines topics in areas such as Computation tree logic and Dynamic logic.
This overview was generated by a machine learning system which analysed the scientist’s body of work. If you have any feedback, you can contact us here.
The temporal logic of programs
Amir Pnueli.
foundations of computer science (1977)
The temporal logic of reactive and concurrent systems
Zohar Manna;Amir Pnueli.
(1992)
On the synthesis of a reactive module
A. Pnueli;R. Rosner.
symposium on principles of programming languages (1989)
The Temporal Logic of Reactive and Concurrent Systems: Specification
Amir Pnueli;Zohar Manna.
(1991)
STATEMATE: a working environment for the development of complex reactive systems
D. Harel;H. Lachover;A. Naamad;A. Pnueli.
IEEE Transactions on Software Engineering (1990)
Temporal Verification of Reactive Systems: Safety
Zohar Manna;Amir Pnueli.
(1995)
On the development of reactive systems
D. Harel;A. Pnueli.
Logics and models of concurrent systems (1989)
Temporal Verification of Reactive Systems
Zohar Manna;Amir Pnueli.
(1995)
The temporal semantics of concurrent programs
Amir Pnueli.
Theoretical Computer Science (1981)
Two approaches to interprocedural data flow analysis
Micha Sharir;A Pnueli.
(2011)
If you think any of the details on this page are incorrect, let us know.
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:
Stanford University
Grenoble Alpes University
Weizmann Institute of Science
Verimag
Institute of Science and Technology Austria
University of Luxembourg
Technion – Israel Institute of Technology
Weizmann Institute of Science
Tel Aviv University
Bar-Ilan University
Microsoft (United States)
University of Illinois at Urbana-Champaign
Johannes Kepler University of Linz
University of Illinois at Urbana-Champaign
Grenoble Alpes University
Forschungszentrum Jülich
Ulsan National Institute of Science and Technology
Stanford University
University of Gothenburg
University of Zurich
University of Münster
Woods Hole Oceanographic Institution
University of Oklahoma
Boston Children's Hospital
Tennessee State University
University of Arizona