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
foundations of computer science (1977)
The Temporal Logic of Reactive and Concurrent Systems
Zohar Manna;Amir Pnueli.
The Temporal Logic of Reactive and Concurrent Systems Specification
Zohar Manna;A. Pnueli.
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)
On the synthesis of a reactive module
A. Pnueli;R. Rosner.
symposium on principles of programming languages (1989)
Temporal Verification of Reactive Systems: Safety
Zohar Manna;Amir Pnueli.
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.
On the temporal analysis of fairness
Dov Gabbay;Amir Pnueli;Saharon Shelah;Jonathan Stavi.
symposium on principles of programming languages (1980)
The temporal semantics of concurrent programs
Theoretical Computer Science (1981)
Profile was last updated on December 6th, 2021.
Research.com Ranking is based on data retrieved from the Microsoft Academic Graph (MAG).
The ranking h-index is inferred from publications deemed to belong to the considered discipline.
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: