Ariel Cohen Katya I. Kisyova Shahar Maoz Kedar S. Namjoshi Nir Piterman Amir Pnueli Lenore D. Zuck