NYU Professor Amir Pnueli, 68, Distinguished Computer Scientist, passes away.

We are deeply saddened to announce the passing of our distinguished colleague and friend, Professor Amir Pnueli, on November 2, 2009.  For more information, please read the Computer Science Department's tribute to Amir.