David Harel

From Wikipedia, the free encyclopedia
Jump to: navigation, search
David Harel
David Harel (FLoC 2006).jpg
David Harel (right) with Carl Hewitt at FLoC 2006
Born (1950-04-12) 12 April 1950 (age 65)
London, England
Nationality Israeli
Fields Computer Science
Institutions Weizmann Institute
Notable awards

David Harel (Hebrew: דוד הראל‎; born 12 April 1950) is the William Sussman Professor of Mathematics at the Weizmann Institute of Science in Israel. Born in London, England, he was Dean of the Faculty of Mathematics and Computer Science at the institute for seven years.


Harel is best known for his work on dynamic logic, computability and software engineering. In the 1980s he invented the graphical language of Statecharts, which has been adopted as part of the UML standard. He has also published expository accounts of computer science, such as his award winning 1987 book "Algorithmics: The Spirit of Computing" and has made appearances on Israeli radio and television. He currently works on many diverse topics, including visual languages, graph layout, systems biology and the communication of odours.

Harel completed his Ph.D. at MIT between 1976 and 1978.

In 1987, Harel co-founded software company I-Logix.[1]

He is now working on a computer model of a nematode, 'Caenorhabditis elegans', which was the first multicellular organism to have its genome completely sequenced. The eventual completeness of such a model depends on his updated version of the Turing test.[2]

He is a fellow of the ACM and the IEEE.

Awards and honors[edit]

See also[edit]


  1. ^ I-Logix company profile
  2. ^ Economist article on Harel's nematode modeling
  3. ^ a b c d e f Member profile, Academia Europaea, retrieved 2015-01-02.
  4. ^ a b c David Harel – Award Winner, ACM, retrieved 2015-01-02.
  5. ^ "Israel Prize Official Site (in Hebrew) – Recipient’s C.V.". 
  6. ^ "Israel Prize Official Site (in Hebrew) – Judges' Rationale for Grant to Recipient". 
  7. ^ "AAAS Members Elected as Fellows", AAAS News and Notes, Science 318 (5850), October 26, 2007: 586–590, doi:10.1126/science.318.5850.586 .
  8. ^ Member profile, National Academy of Engineering, retrieved 2015-01-02.
  9. ^ Newly elected members, American Academy of Arts and Sciences, April 2014, retrieved 2015-01-02.

External links[edit]

  • David Harel's home page at the Weizmann Institute of Science.