Amir Pnueli
Faculty of Mathematics and Computer Science
The Weizmann Institute of Science
76100 Rehovot, Israel
-
e-mail:
amir@wisdom.weizmann.ac.il
phone: +972-8-934-3434
fax: +972-8-934-4122
Research interests
My main research interests are Semantics and Verification of Concurrent Programs, Temporal Logic, Logics of Programs, Specification and Non Procedural languages, Automatic Proof Methods for Correctness, Verification and Synthesis of Programs, Theory of Computation, Schemata Theory and its relations to Formal Languages Theory, Specification, Verification and Systematic development of Real-Time and Hybrid Systems. Refinement, using Temporal Logic. Compositional verification of reactive, real-time, and hybrid systems. Synthesis of such systems.Publications
Some recent papers are available for downloading as technical reports, (a service maintained by the department). A full list of publications is also available. There is a list of invited talks, and a list of the books I am, or have been, involved in.
Additional information
Some additional information can be found in a short biography. The department can be reached at wisdom, and the institute at weizmann.Courses