David Harel
The William Sussman Professor of Mathematics
I am interested in several areas of
research in computer science. They include software and systems engineering,
visual languages, modeling and analysis of biological systems, and odor
communication and synthesis. Although
several of these are of practical nature, work in all of them requires a strong
theoretical background in computability, automata theory, logic and algorithms.
Recent Publications
- [with S. Maoz] From multi-modal scenarios to code: Compiling LSCs into AspectJ. Proc. 14th ACM SIGSOFT Symp. on Foundations of Software Engineering (FSE'06) Portland, Nov. 2006, pp. 219-230.
- Can programming be liberated, period? IEEE Computer 41: 1 (2008) 28-37.
- [with H. Amir-Kroll, A. Sadot and I.R. Cohen] GemCell: A generic platform for modeling multi-cellular biological systems. Theoret. Comput. Sci. 391: 3 (2008) 276-290.