Turing Award - Developing New Tools for Systems VerificationInternational Awards
Prof. Amir Pnueli (1941-2009)
Weizmann Institute of Science
As computerized systems become more complex, the risk of malfunction increases. An error in an autonomous vehicle control system, an inaccuracy in the data of a flight management system or a false reading in a medical device may lead to the loss of life. Prof. Pnueli developed tools and methods to verify the operations of such systems. His seminal paper was published in 1976, when he was at Tel-Aviv University. He returned to the Weizmann Institute of Science in 1980, and in 1996, his research earned him the Turing Award, the most prestigious award in the field of computer science.