2020 - Fellow of the Royal Society, United Kingdom
2019 - Member of the National Academy of Sciences
2014 - Fellow of the American Academy of Arts and Sciences
2014 - Member of the National Academy of Engineering For invention of statecharts and contributions to the logic of programming.
2007 - Fellow of the American Association for the Advancement of Science (AAAS)
2007 - ACM Software System Award For Statemate, the first embodiment in a commercial computer-aided software engineering tool of a rigorous approach to model-driven development based on statecharts, and employing techniques for the executability of visual formalisms, and for code-generation.
2006 - Member of Academia Europaea
1994 - ACM Fellow A brilliant expositor, he has exposed laymen to deep computer science concepts through his widely acclaimed book Algorithmics, the Spirit of Computing (1987) and through numerous lectures to a variety of audiences. His work on Israeli national councils and ministerial committees is profoundly influencing curricula at both the high-school and university level.
1992 - ACM Karl V. Karlstrom Outstanding Educator Award A brilliant expositor, he has exposed laymen to deep computer science concepts through his widely acclaimed book Algorithmics, the Spirit of Computing (1987) and through numerous lectures to a variety of audiences. His work on Israeli national councils and ministerial committees is profoundly influencing curricula at both the high-school and university level.
The scientist’s investigation covers issues in Programming language, Reactive system, Theoretical computer science, Unified Modeling Language and Artificial intelligence. The study incorporates disciplines such as Complex system, Software, Requirements engineering and Software engineering in addition to Reactive system. David Harel interconnects Modular decomposition, Concurrency, Cluster analysis and Relational database, Conjunctive query in the investigation of issues within Theoretical computer science.
His Unified Modeling Language research is multidisciplinary, incorporating elements of Semantics, Sequence, Message sequence chart and Modeling language. His study of Higraph is a part of Artificial intelligence. His Higraph research is multidisciplinary, relying on both SCXML, Knowledge representation and reasoning, Modular design and Esterel, Synchronous programming language.
His primary scientific interests are in Programming language, Theoretical computer science, Reactive system, Artificial intelligence and Software engineering. Unified Modeling Language, Programming paradigm, Dynamic logic, Sequence diagram and Executable are the core of his Programming language study. David Harel combines subjects such as Algorithm, Graph drawing and Concurrency with his study of Theoretical computer science.
His research links Finite-state machine with Concurrency. The various areas that David Harel examines in his Reactive system study include Visualization, Semantics, Human–computer interaction and Live sequence charts. He is studying Complex system, which is a component of Artificial intelligence.
His primary areas of study are Programming language, Programming paradigm, Software engineering, Reactive system and Artificial intelligence. His study focuses on the intersection of Programming language and fields such as Theoretical computer science with connections in the field of Concurrent computing. His work deals with themes such as Object, Robot and Software, Software development, which intersect with Software engineering.
The Software development study combines topics in areas such as Layer and Component. His Reactive system research incorporates themes from Context, System model, Correctness, Semantics and Visualization. His work in Artificial intelligence covers topics such as Executable which are related to areas like Computational model.
David Harel spends much of his time researching Programming language, Programming paradigm, Reactive system, Behavioral programming and Distributed computing. His study in Programming language is interdisciplinary in nature, drawing from both Theoretical computer science and Code generation. David Harel has researched Programming paradigm in several fields, including AspectJ, Construct and Compiler.
His Reactive system research includes elements of Correctness, Immunology, Human–computer interaction, Semantics and Visualization. His studies in Distributed computing integrate themes in fields like Computational biology, Temporal modeling and Tumor growth. His Formal verification research is multidisciplinary, incorporating perspectives in Concurrency, Software engineering, Intelligent verification and Software verification.
This overview was generated by a machine learning system which analysed the scientist’s body of work. If you have any feedback, you can contact us here.
Statecharts: A visual formalism for complex systems
Science of Computer Programming (1987)
David Harel;Dexter Kozen;Jerzy Tiuryn.
On visual formalisms
Communications of The ACM (1988)
STATEMATE: a working environment for the development of complex reactive systems
D. Harel;H. Lachover;A. Naamad;A. Pnueli.
IEEE Transactions on Software Engineering (1990)
Executable object modeling with statecharts
D. Harel;E. Gery.
IEEE Computer (1997)
The STATEMATE semantics of statecharts
David Harel;Amnon Naamad.
ACM Transactions on Software Engineering and Methodology (1996)
On the development of reactive systems
D. Harel;A. Pnueli.
Logics and models of concurrent systems (1989)
LSCs: Breathing Life into Message Sequence Charts
Werner Damm;David Harel.
formal methods (2001)
Modeling Reactive Systems With Statecharts : The Statemate Approach
David Harel;Michal Politi.
First-Order Dynamic Logic
If you think any of the details on this page are incorrect, let us know.
We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below: