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, layout of diagrams, specification and verification. 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. I am also interested in the modeling and analysis of biological systems, and the synthesis and communication of smell.

 
Recent Publications

• [with R. Marelly] Come, Let's Play: Scenario-Based Programming Using LSCs and the Play-Engine, Springer-Verlag, 2003.
• [with Y. Koren] Graph Drawing by High-Dimensional Embedding, J. Graph Algorithms and Applications, in press, 2004. (Preliminary version in Proc. 10th Int. Symp. on Graph Drawing (GD'02), Lecture Notes in Computer Science, 2528, Springer Verlag, 2002, pp. 207-219.)
• A Grand Challenge for Computing: Full Reactive Modeling of a Multi-Cellular Animal, Bulletin of the EATCS, European Association for Theoretical Computer Science, no. 81, Oct. 2003, pp. 226-235.

 

Personal Web Page