Obituary for Professor Amir Pnueli

All members of the CMACS Expedition on Computational Modeling and Analysis of Complex Systems are deeply saddened to learn of the passing of our distinguished colleague and friend, Professor Amir Pnueli. Professor Edmund M. Clarke, Lead Principal Investigator of the CMACS Expedition, noted that Amir, who was the Expedition's Associate Director, will be sorely missed, both for his technical and intellectual leadership, and for his kindness and friendship.