David Harel (Hebrew: דוד הראל; born 12 April 1950) is a computer scientist at the Weizmann Institute of Science in Israel, and holds the William Sussman Professorial Chair of Mathematics. Born in London, England, he was Dean of the Faculty of Mathematics and Computer Science at the institute for seven years. He currently also serves as Vice-President of the Israel Academy of Sciences and Humanities.
David Harel (right) with Carl Hewitt at FLoC 2006
|Born||12 April 1950|
London, England, UK
|Nationality||Israeli and British|
Harel is best known for his work on dynamic logic, computability, database theory, software engineering and modelling biological systems. In the 1980s he invented the graphical language of Statecharts for specifying and programming reactive systems, which has been adopted as part of the UML standard. Since the late 1990s he has concentrated on a scenario-based approach to programming such systems, launched by his co-invention (with W. Damm) of Live Sequence Charts. He has published expository accounts of computer science, such as his award winning 1987 book "Algorithmics: The Spirit of Computing" and his 2000 book "Computers Ltd.: What They Really Can’t do", and has presented series on computer science for Israeli radio and television. He has also worked on other diverse topics, such as graph layout, computer science education and the analysis and communication of odors.
He has advocated building a full computer model of the Caenorhabditis elegans nematode, 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.
Harel is active in several peace and human rights organisations in Israel.
Awards and honours
- 1986 Stevens Award for Software Development Methods
- 1992 ACM Karlstrom Outstanding Educator Award
- 1994 ACM Fellow
- 1995 IEEE Fellow
- 2004 Israel Prize, for computer science
- 2005 Doctor Honoris Causa, University of Rennes, France
- 2006 ACM SIGSOFT Outstanding Research Award
- 2006 Member of the Academia Europaea
- 2006 Doctor (Laura) Honoris Causa, University of Milano-Bicocca, 18 May 2006
- 2006, Fellow Honoris Causa, Open University of Israel
- 2007 ACM Software System Award
- 2010 Emet Prize
- 2010 Member of the Israel Academy of Sciences and Humanities
- 2012 Doctor Honoris Causa, Eindhoven University of Technology, The Netherlands
- 2014 Foreign associate of the US National Academy of Engineering
- 2014 Foreign Honorary Member of the American Academy of Arts and Sciences
- 2019 Foreign associate of the US National Academy of Sciences.
- David Harel – Award Winner, ACM. Retrieved 2 January 2015.
- "Israel Prize Official Site (in Hebrew) – Recipient's C.V."
- "Israel Prize Official Site (in Hebrew) – Judges' Rationale for Grant to Recipient".
- Member profile, Academia Europaea. Retrieved 2 January 2015.
- "Lauree honoris causa" (in Italian). 13 December 2016. Retrieved 2 April 2018.
- Member profile, Israel Academy of Sciences and Humanities.
- Member profile, National Academy of Engineering. Retrieved 2 January 2015.
- Newly elected members, American Academy of Arts and Sciences, April 2014. Retrieved 2 January 2015.
- "2019 NAS Election". National Academy of Sciences. 30 April 2019.