Michal Harel

Joel Sussman's group, Weizmann Institute of Science

michal.harel@weizmann.ac.il