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 famous computer scientist. He was born in London, England. He is currently the President of the Israel Academy of Sciences and Humanities.

Since 1980, he has taught at the Weizmann Institute of Science in Israel. He holds a special teaching position there in Mathematics. He also served as the Dean of the Faculty of Mathematics and Computer Science for seven years.

About David Harel's Work

David Harel is well-known for his work in several areas of Computer Science. These include how computers think (computability) and how they store information (database theory). He also works on making computer programs better (software engineering).

He is famous for inventing a visual language called Statecharts in the 1980s. This language helps people design and program systems that react to things. Statecharts became part of a common standard called UML.

Later, he focused on a new way to program these systems using scenarios. He helped create something called Live Sequence Charts.

Harel has also written books to explain computer science to everyone. One of his award-winning books is "Algorithmics: The Spirit of Computing." He also presented computer science topics on Israeli radio and TV.

His work also covers other interesting areas. He has studied how to arrange diagrams (graph layout). He also works on teaching computer science and understanding biological systems. He even looked into how we analyze and communicate smells.

His Journey and Achievements

David Harel earned his PhD degree 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 supported building a complete computer model of a tiny worm called Caenorhabditis elegans. This worm was the first multi-celled animal to have all its genes mapped out.

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

Awards and Special Recognitions

David Harel has received many awards and honors for his important contributions to computer science.

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

See also

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