Contact

Jacob Ziskind Building

Weizmann Institute of Science
Rehovot 7610001, Israel

Prof. David Harel

Principal Investigator

dharel@weizmann.ac.il +972-8-934-4050

Ziskind , room 241

The William Sussman Professorial Chair

Dept. of Computer Science and Applied Mathematics

The Weizmann Institute of Science

Rehovot 76100, Israel