|
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.
|