The William Sussman
Dept. of Computer Science and Applied Mathematics
The Weizmann Institute of Science
Rehovot 76100, Israel
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.