Harel Statecharts David Harel The William Sussman Professorial Chair 0 Dept.of Computer Science and Applied Mathematics The Weizmann Institute of Science cofounder of i-Logix Inc. Research interests In the past,but diminished recent years computability and complexity theory,logics of programs,database theory,automata theory ▣recent years systems engineering,OO analysis and design,visual languages, layout of diagrams Tian Zhang Nanjing UniversityTian Zhang @ Nanjing University 7 Harel Statecharts „ David Harel ‰ The William Sussman Professorial Chair ‰ Dept. of Computer Science and Applied Mathematics ‰ The Weizmann Institute of Science ‰ cofounder of i-Logix Inc. „ Research interests ‰ In the past, but diminished recent years – computability and complexity theory, logics of programs, database theory, automata theory ‰ recent years – systems engineering, OO analysis and design, visual languages, layout of diagrams