kids encyclopedia robot

David Harel facts for kids

Kids Encyclopedia Facts
Quick facts for kids
David Harel

דוד הראל
David Harel (FLoC 2006).jpg
David Harel (right) with Carl Hewitt at FLoC 2006
Born (1950-04-12) 12 April 1950 (age 75)
London, England, UK
Nationality Israeli and British
Awards
Scientific career
Fields Computer science
Institutions Weizmann Institute
Thesis Logics of Programs: Axiomatics and Descriptive Power (1978)
Doctoral advisor Vaughan Pratt
Doctoral students David Peleg

David Harel (born April 12, 1950) is a very important computer scientist. He is currently the President of the Israel Academy of Sciences and Humanities. Since 1980, he has worked at the Weizmann Institute of Science in Israel. He holds a special teaching position there called the William Sussman Professorial Chair of Mathematics. David Harel was born in London, England. He also served as the Dean of the Faculty of Mathematics and Computer Science at the Weizmann Institute for seven years.

About David Harel's Work

David Harel is famous for his work in several areas of computer science. These include how computers think (called dynamic logic) and what computers can actually do (called computability). He also worked on how to store and find information (database theory).

Software Engineering and Modeling

One of his biggest achievements was inventing a visual language called Statecharts in the 1980s. This language helps people design and program computer systems that react to things happening around them. Statecharts became a part of a widely used standard called UML.

Later, in the late 1990s, he focused on a new way to program these systems. This method uses "scenarios," which are like step-by-step stories of how a system should work. He helped create something called Live Sequence Charts for this purpose.

Explaining Computer Science

David Harel has also written books to help people understand computer science. His book "Algorithmics: The Spirit of Computing" won an award in 1987. In 2000, he wrote "Computers Ltd.: What They Really Can’t do." He even presented computer science topics on Israeli radio and television.

He has explored many other interesting topics too. These include how to arrange diagrams neatly (called graph layout) and how to teach computer science. He also studies how to create computer models of living things and how to understand and share information about smells.

Education and Contributions

David Harel earned his PhD from MIT between 1976 and 1978. In 1987, he helped start a software company called I-Logix. This company later became part of IBM in 2006.

He has also suggested building a complete computer model of a tiny worm called Caenorhabditis elegans. This worm was the first animal to have all of its genetic information mapped out. He believes that completing such a model depends on his updated idea of the Turing test. The Turing test is a way to see if a machine can think like a human.

David Harel is a respected member of many important groups. These include the ACM, the IEEE, and the AAAS. He is also involved in groups that work for peace and human rights in Israel.

Awards and Recognitions

OO Modeling languages history
Diagram showing how Harel's Statecharts contributed to object-oriented methods and notation

David Harel has received many awards and honors for his important work. Here are some of them:

More Information

kids search engine
David Harel Facts for Kids. Kiddle Encyclopedia.