Amir PnueliProfessor of Mathematics
Professor Pnueli joined the faculty of the Courant Institute in 1999. He was previously on the faculties of Tel-Aviv University, where he founded and chaired the Department of Computer Science, and the Weizmann Institute of Science, Rehovot.
He earned his B.Sc. degree in Mathematics at the Technion, Haifa, and his Ph.D. degree in Applied Mathematics at the Weizmann Institute before transferring to computer science while a post-doctoral fellow at Stanford University and at the IBM Watson Research Center, Yorktown Heights.
An authority in theoretical computer science and in computer algorithms, he is co-author of the noted textbooks The Temporal Logic of Reactive and Concurrent Systems: Specification and Temporal Verification of Reactive Systems: Safety.
Professor Pnueli received the ACM Turing Award in 1996 “…for his seminal work introducing temporal logic into computing science and for outstanding contributions to program and system verification”, and has been elected to both the National Academy of Engineering (1999) and Academia Europaea (2006). He has received honorary degrees from the University of Uppsala, Sweden, and the Université Joseph Fourier, Grenoble.