The Department of Computer Science regrets to inform you that
Professor Amir Pnueli passed away on Monday, November 2, 2009.
Please read the Department's
news release.
Amir Pnueli
Prof. Amir Pnueli
Computer Science Department
Courant Institute of mathematical Sciences
New York University
251 Mercer Street
New York, NY 10012
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.