2026 David Harel: Computer Science Researcher – H-Index, Publications & Awards

Discipline name	D-Index	World Ranking	Current World Ranking	National Ranking	Current National Ranking	Publications	Citations
Computer Science	75	1370	1327	24	22	351	45240

Research.com Recognitions

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.

Overview

David Harel is affiliated with the Weizmann Institute of Science in Israel. Their research primarily spans the field of Computer Science, with significant contributions in subfields such as Artificial Intelligence, Software, Information Systems, Computational Theory and Mathematics, and Social Psychology.

The main topics of their research work include Software Engineering Research, Model-Driven Software Engineering Techniques, Software Reliability and Analysis Research, Adversarial Robustness in Machine Learning, Software Testing and Debugging Techniques, Reinforcement Learning in Robotics, and Formal Methods in Verification.

Frequent publication venues for David Harel include arXiv (Cornell University) with 17 publications, Proceedings of the National Academy of Sciences with 3 publications, Science China Information Sciences and IEEE Design and Test each with 2, and Nature with 1 publication.

Recent papers published by David Harel include:

Categorizing methods for integrating machine learning with executable specifications, 2023, Science China Information Sciences
Creating a Foundation for Next-Generation Autonomous Systems, 2021, IEEE Design and Test

Other recent papers by co-authors include works such as "A measure of smell enables the creation of olfactory metamers" (2020, Nature), "Trustworthy Autonomous System Development" (2022, ACM Transactions on Embedded Computing Systems), and "Computational Paradigm to Elucidate the Effects of Arts-Based Approaches: Art and Music Studies and Implications for Research and Therapy" (2020, Frontiers in Psychology).

Frequent co-authors of David Harel are Assaf Marron, Smadar Szekely, Raz Yerushalmi, Guy Amir, and Guy Katz.

David Harel has received several awards and honors, including:

Fellow of the Royal Society, United Kingdom (2020)
Member of the National Academy of Sciences (2019)
Fellow of the American Academy of Arts and Sciences (2014)
Member of the National Academy of Engineering (2014) for invention of statecharts and contributions to the logic of programming
Fellow of the American Association for the Advancement of Science (AAAS) (2007)
ACM Software System Award (2007) for Statemate, a computer-aided software engineering tool based on statecharts
Member of Academia Europaea (2006)
ACM Fellow (1994) recognized for contributions in algorithmics and educational outreach
ACM Karl V. Karlstrom Outstanding Educator Award (1992) for impactful educational contributions related to algorithmics and computing curricula

Best Publications

Statecharts: A visual formalism for complex systems

David Harel

11272
Citations
Dynamic Logic

David Harel;Dexter Kozen;Jerzy Tiuryn

2185
Citations
On visual formalisms

David Harel

2099
Citations
STATEMATE: a working environment for the development of complex reactive systems

D. Harel;H. Lachover;A. Naamad;A. Pnueli

1965
Citations
Executable object modeling with statecharts

D. Harel;E. Gery

1854
Citations
The STATEMATE semantics of statecharts

David Harel;Amnon Naamad

1829
Citations
On the development of reactive systems

D. Harel;A. Pnueli

1479
Citations
LSCs: Breathing Life into Message Sequence Charts

Werner Damm;David Harel

1324
Citations
First-Order Dynamic Logic

David Harel

1043
Citations
Modeling Reactive Systems With Statecharts : The Statemate Approach

David Harel;Michal Politi

997
Citations
Drawing graphs nicely using simulated annealing

Ron Davidson;David Harel

852
Citations
Meaningful modeling: what's the semantics of "semantics"?

D. Harel;B. Rumpe

814
Citations
Come, Let's Play: Scenario-Based Programming Using LSCs and the Play-Engine

David Harel;Rami Marelly

805
Citations
Algorithmics: The Spirit of Computing

David Harel;Yishai Feldman

800
Citations
Structure and complexity of relational queries

Ashok K. Chandra;David Harel

797
Citations
A fast multi-scale method for drawing large graphs.

David Harel;Yehuda Koren

652
Citations
Computable queries for relational data bases

Ashok K. chandra;David Harel

629
Citations
Graph drawing by high-dimensional embedding.

David Harel;Yehuda Koren

539
Citations
HORN CLAUSE QUERIES AND GENERALIZATIONS

Ashok K. Chandra;David Harel

388
Citations
Come, Let’s Play

David Harel;Rami Marelly

380
Citations
On the Formal Semantics of Statecharts (Extended Abstract)

David Harel;Amir Pnueli;Jeanette P. Schmidt;Rivi Sherman

310
Citations
Statemate: a working environment for the development of complex reactive systems

D. Harel;H. Lachover;A. Naamad;A. Pnueli

276
Citations

Frequent Co-Authors

Amir Pnueli Weizmann Institute of Science

Dexter Kozen Cornell University

Yehuda Koren Google (United States)

Irun R. Cohen Weizmann Institute of Science

Doron Lancet Weizmann Institute of Science

Ashok K. Chandra IBM (United States)

Moshe Y. Vardi Rice University

Noam Sobel Weizmann Institute of Science

Joel L. Sussman Weizmann Institute of Science

Orna Kupferman Hebrew University of Jerusalem

External Links

Wikipedia of David Harel Personal website of David Harel Google Scholar page

If you think any of the details on this page are incorrect, let us know.

Related Online Degrees & Career Pathways

Exploring computer science in the USA opens doors to many different degree and career options. For those interested in flexible and faster alternatives, there are easy degrees to get online that pay well, allowing you to accelerate your education and quickly enter high-demand fields.

Artificial intelligence is another booming area within computer science. There are now ai degrees online that provide a pathway into cutting-edge tech careers, often at a fraction of the traditional cost.

Choosing your area of study is an important first step. Reviewing a list of college majors can help you align your interests with fast-growing industries like cybersecurity, software engineering, or data science.

For those considering advanced education, pursuing an easy online masters degree is another way to boost your skill set and career prospects. Online degrees offer crucial flexibility while opening the door to a wide range of technical and leadership roles in the industry.