
|
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 |
My research interests are in several areas of computer science. In the
past these included computability (especially levels of undecidability),
logics of programs (especially dynamic logic), database theory (especially
query languages and their power), and automata theory. In recent
years, my activity in these areas has diminished, being replaced by software and systems engineering, object-oriented analysis and design,
visual languages, layout of diagrams, modeling and analysis of biological
systems, and the synthesis and communication of smell.
|