|
Silver Professor; 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
|
