Professor of Computer Science
Ph.D. 1967 (Applied Mathematics), Weizmann Institute of Science, Israel; B.Sc. 1962 (Mathematics), Technion, Israel.

Email:

Personal Homepage: http://www.cs.nyu.edu/cs/faculty/pnueli/

Research Interests:

Automatic proof methods for correctness of programs and hardware designs; compositional verification of reactive, real-time, and hybrid systems; temporal logic.

Affiliations:

Associate editor, Formal Methods in System Design, Science of Computer Programming, Journal of International Group in Pure and Applied Logics, Journal of Logic and Computations; member of IFIP WG2.2 working group on Formal Description of Programming.

Fellowships/Honors:

Foreign Associate of the National Academy of Engineering; ACM Turing Award, 1996; Honorary doctorates from the University of Uppsala (1997) and Universite Joseph Fourier Grenoble (1998); The Israel prize in Exact Sciences, 2000.

Selected Works:

Temporal Verification of Reactive Systems: Safety, with Z. Manna. Springer-Verlay. 1995.

The Temporal Logic of Reactive and Concurrent Systems: Specification, with Z. Manna. Springer-Verlay. 1991.

The Temporal Logic of Programs. Foundations of Computer Science, 46-57. 1977.

 Update your faculty profile

 Back to Top