David Harel The Weizmann Institute Amir Pnueli A Gentle Giant Picture taken at Marktoberdorf, 2004 Eulogy delivered at Amirâs funeral Nov. 4, 2009 Amir with Pini Rabinowitz,…
