Prof. David Harel
The William Sussman Professorial Chair
Dept. of Computer Science and Applied Mathematics
The Weizmann Institute of Science
Rehovot 76100, Israel

Tel:    +972-8-934-4050
Secretary:  +972-8-934-3545
Fax:    +972-8-934-6023
Location:  Ziskind Building, Room 241
Email:   dharel "at" weizmann.ac.il


In the past, my research interests were in several areas of theoretical computer science. These included computability (especially levels of undecidability), logics of programs (especially dynamic logic), database theory (especially query languages and their power), and automata theory.  My current activity is in software and systems engineering, visual languages and their underlying methodologies and tools, the modeling and analysis of biological systems, the synthesis and communication of smell, and the analysis of prosody.