Weizmann Institute of Science’s Mathematician, the late Prof. Amir Pneuli, received the 1996 A.M. Turing Award - the world's most prestigious prize in computer science – for “seminal work introducing temporal logic into computing science and for outstanding contributions to program and system verification.” He is one of three members of the Weizmann Institute to receive the prestigious award; the others are Profs. Adi Shamir (2002) and Shafi Goldwasser (2013).
Privacy Policy
Our website uses cookies to enhance user experience by remembering your preferences and analyzing website traffic. For more information about how we use cookies please read our
Weizmann Institute of Science’s Mathematician, the late Prof. Amir Pneuli, received the 1996 A.M. Turing Award - the world's most prestigious prize in computer science – for “seminal work introducing temporal logic into computing science and for outstanding contributions to program and system verification.” He is one of three members of the Weizmann Institute to receive the prestigious award; the others are Profs. Adi Shamir (2002) and Shafi Goldwasser (2013).