David Harel
| David Harel | |
|---|---|
.jpg)
David Harel (right) with Carl Hewitt at FLoC 2006
|
|
| Born | 12 April 1950 London, England |
| Nationality | Israeli |
| Fields | Computer Science |
| Institutions | Weizmann Institute |
| Notable awards | <templatestyles src="Plainlist/styles.css"/> |
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.
Biography
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, which is exceptionally fast.
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
- 1986 Stevens Award for Software Development Methods[3]
- 1992 ACM Karlstrom Outstanding Educator Award[3][4]
- 1994 ACM Fellow[4]
- 1995 IEEE Fellow
- 2004 Israel Prize, for computer science[3][5][6]
- 2006 ACM SIGSOFT Outstanding Research Award
- 2006 elected to Academia Europaea[3]
- 2007 ACM Software System Award[3][4]
- 2007 Fellow of the American Association for the Advancement of Science[7]
- 2014 Foreign Member of the National Academy of Engineering[8]
- 2014 Foreign Honorary Member of the American Academy of Arts and Sciences[9]
- Member of the Israel Academy of Sciences and Humanities[3]
See also
References
- ↑ I-Logix company profile
- ↑ Economist article on Harel's nematode modeling
- ↑ 3.0 3.1 3.2 3.3 3.4 3.5 Member profile, Academia Europaea, retrieved 2015-01-02.
- ↑ 4.0 4.1 4.2 David Harel – Award Winner, ACM, retrieved 2015-01-02.
- ↑ Lua error in package.lua at line 80: module 'strict' not found.
- ↑ Lua error in package.lua at line 80: module 'strict' not found.
- ↑ Lua error in package.lua at line 80: module 'strict' not found..
- ↑ Member profile, National Academy of Engineering, retrieved 2015-01-02.
- ↑ Newly elected members, American Academy of Arts and Sciences, April 2014, retrieved 2015-01-02.
External links
 |
Wikimedia Commons has media related to [[commons:Lua error in Module:WikidataIB at line 506: attempt to index field 'wikibase' (a nil value).|Lua error in Module:WikidataIB at line 506: attempt to index field 'wikibase' (a nil value).]]. |
- David Harel's home page at the Weizmann Institute of Science.
- Articles containing Hebrew-language text
- Commons category link from Wikidata
- 1950 births
- Living people
- People from London
- Israeli computer scientists
- Israel Prize in computer sciences recipients
- Israeli academics
- Fellows of the American Academy of Arts and Sciences
- Fellows of the American Association for the Advancement of Science
- Fellows of the Association for Computing Machinery
- Fellow Members of the IEEE
- Formal methods people
- Graph drawing people
- Members of Academia Europaea
- Members of the United States National Academy of Engineering
- Systems biologists
- Software engineering researchers
- Unified Modeling Language
- Weizmann Institute faculty
- Jewish inventors
