David Harel
David Harel | |
---|---|
Born | London, England, UK | 12 April 1950
Nationality | Israeliand 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(Hebrew:דוד הראל;born 12 April 1950) is a computer scientist, currently serving as President of theIsrael Academy of Sciences and Humanities.He has been on the faculty of theWeizmann Institute of ScienceinIsraelsince 1980, 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.
Biography
[edit]Harel is best known for his work ondynamic logic,computability,database theory,software engineeringandmodelling biological systems.In the 1980s he invented the graphical language ofStatechartsfor specifying and programming reactive systems, which has been adopted as part of theUMLstandard. Since the late 1990s he has concentrated on a scenario-based approach to programming such systems, launched by his co-invention (with W. Damm) ofLive 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 TheyReallyCan’t do ", and has presented series on computer science for Israeli radio and television. He has also worked on other diverse topics, such asgraph layout,computer science education,biological modeling and the analysis and communication ofodors.
Harel completed his PhD atMITbetween 1976 and 1978. In 1987, he co-founded the software companyI-Logix,which in 2006 became part of IBM. He has advocated building a full computer model of theCaenorhabditis elegansnematode, 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 theTuring test.He is a fellow of theACM,theIEEE,theAAAS,and theEATCS,and a member of several international academies. Harel is active in a number of peace and human rights organizations in Israel.
Awards and honors
[edit]- 1986Stevens Awardfor Software Development Methods
- 1992 ACM Karlstrom Outstanding Educator Award[1]
- 1994ACM Fellow[1]
- 1995 IEEE Fellow
- 2004Israel Prize,for computer science[2][3]
- 2005 Doctor Honoris Causa, University of Rennes, France
- 2006 ACM SIGSOFT Outstanding Research Award
- 2006 Member of theAcademia Europaea[4]
- 2006 Doctor (Laura) Honoris Causa,University of Milano-Bicocca,18 May 2006[5]
- 2006 Fellow Honoris Causa, Open University of Israel
- 2007ACM Software System Award[1]
- 2010Emet Prize
- 2010 Member of theIsrael Academy of Sciences and Humanities[6]
- 2012 Doctor Honoris Causa, Eindhoven University of Technology, The Netherlands
- 2014 International Member of the USNational Academy of Engineering[7]
- 2014 International Honorary Member of theAmerican Academy of Arts and Sciences[8]
- 2019 International Member of the USNational Academy of Sciences.[9]
- 2020 Fellow of theRoyal Society[10](FRS)
- 2021 Foreign Member of theChinese Academy of Sciences
- 2023Harlan D. Mills Award[11]
See also
[edit]References
[edit]- ^abcDavid 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.Retrieved2 April2018.
- ^Member profileArchived16 December 2015 at theWayback Machine,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.
- ^"David Harel".Royal Society.Retrieved19 September2020.
- ^"David Harel: Award Recipient".IEEE Computer Society.23 January 2023.Retrieved27 February2023.
External links
[edit]- David Harel's home page at the Weizmann Institute of Science.
- David HarelArchived16 December 2015 at theWayback Machine's page at the Israel Academy of Sciences and Humanities.
- 1950 births
- Living people
- Mathematicians from London
- Israeli computer scientists
- Israel Prize in computer sciences recipients
- Israeli Jews
- Fellows of the American Academy of Arts and Sciences
- Fellows of the American Association for the Advancement of Science
- 1994 fellows of the Association for Computing Machinery
- Fellows of the IEEE
- Fellows of the Royal Society
- Formal methods people
- Graph drawing people
- Members of Academia Europaea
- Systems biologists
- Software engineering researchers
- Unified Modeling Language
- Academic staff of Weizmann Institute of Science
- Foreign associates of the National Academy of Sciences
- Foreign associates of the National Academy of Engineering
- Foreign members of the Chinese Academy of Sciences