Archive for November, 2009

Amir Pnueli

November 4, 2009

I was saddened to hear that Amir Pnueli passed away on November 2. The news came by email right as I was discussing one of his papers with my students. Amir was one of the intellectual giants in our community, and will be missed.