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).
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).