Remembering Amir Pnueli, a great scientist and a great friend (April 22,1941 - November 2,2009)

摘要

Amir Pnueli, world authority on Program Verification who won the 1996 Turing Award primarily for his 1977 FOCS paper 'The Temporal Logic of Programs' and subsequently widened his interests by also publishing key results in such diverse areas as the Semantics of Statecharts, Automatic Synthesis of Concurrent Systems, Run-time Compiler Verification and the Verification of Hybrid Systems, passed away unexpectedly early November in Manhattan.rnBelow I sketch his life, as told by his wife Ariela and himself, supported by what other people wrote and told me about him, and by the way my family and I experienced Amir, Ariela and their three children Shira, Ishay and Noga. In order to honor one of the best friends 1 ever met during my working life, I chose a style which lends some personal perspective to his noble personality.