David Harel - David Harel
David Harel | |
|---|---|
 David Harel (vpravo) s Carl Hewitt na FLoC 2006 | |
| narozený | 12.04.1950 Londýn, Anglie, Velká Británie |
| Národnost | izraelský a Britové |
| Ocenění | |
| Vědecká kariéra | |
| Pole | Počítačová věda |
| Instituce | Weizmann Institute |
David Harel (hebrejština: דוד הראל; (narozen 12. dubna 1950) je počítačový vědec v Weizmann Institute of Science v Izrael, a je profesorem matematiky na William Sussman. Narodil se v Londýně v Anglii a sedm let působil jako děkan Fakulty matematiky a informatiky ústavu. V současné době působí také jako viceprezident Izraelská akademie věd a humanitních věd.
Životopis
Harel je nejlépe známý svou prací na dynamická logika, vypočítatelnost, teorie databáze, softwarové inženýrství a modelování biologických systémů. V 80. letech vynalezl grafický jazyk Statecharts pro specifikaci a programování reaktivních systémů, která byla přijata jako součást UML Standard. Od konce 90. let se soustředil na scénářový přístup k programování těchto systémů, který zahájil jeho společný vynález (s W. Dammem) Živé sekvenční grafy. Vydal výkladové výklady z informatiky, jako například jeho oceněnou knihu „Algorithmics: The Spirit of Computing“ z roku 1987 a knihu „Computers Ltd .: What They“ z roku 2000 Opravdu Can't do "a pro izraelský rozhlas a televizi představil sérii počítačových věd. Pracoval také na dalších různorodých tématech, například rozložení grafu, počítačové vzdělávání a analýza a komunikace pachy.
Harel dokončil doktorát v MIT v letech 1976 až 1978. V roce 1987 spoluzaložil softwarovou společnost I-Logix, která se v roce 2006 stala součástí IBM.
Zasazoval se o vybudování úplného počítačového modelu EU Caenorhabditis elegans hlístice, která byla prvním mnohobuněčným organismem, jehož genom byl kompletně sekvenován. Případná úplnost takového modelu závisí na jeho aktualizované verzi Turingův test.
Je to kolega z ACM, IEEE, AAAS a EATCS.
Harel působí v několika mírových a lidskoprávních organizacích v Izraeli.
Ocenění a vyznamenání
- 1986 Stevensova cena pro metody vývoje softwaru
- 1992 ACM Karlstrom Vynikající cena pedagoga[1]
- 1994 Člen ACM[1]
- 1995 IEEE Fellow
- 2004 Cena Izraele, pro informatiku[2][3]
- 2005 Doctor Honoris Causa, University of Rennes, France
- 2006 ACM SIGSOFT Award za vynikající výzkum
- 2006 člen Academia Europaea[4]
- 2006 Doctor (Laura) Honoris Causa, University of Milano-Bicocca, 18. května 2006[5]
- 2006, Fellow Honoris Causa, Open University of Israel
- 2007 Cena softwarového systému ACM[1]
- 2010 Cena Emet
- 2010 člen Izraelská akademie věd a humanitních věd[6]
- 2012 Doctor Honoris Causa, Eindhoven University of Technology, Nizozemsko
- 2014 Zahraniční spolupracovník USA National Academy of Engineering[7]
- 2014 Zahraniční čestný člen Americká akademie umění a věd[8]
- 2019 Zahraniční spolupracovník USA Národní akademie věd.[9]
- 2020 zvolen a Člen Královské společnosti [10]
Viz také
Reference
- ^ A b C David Harel - vítěz ceny, ACM. Vyvolány 2. ledna 2015.
- ^ „Oficiální stránky Ceny Izraele (v hebrejštině) - C.V. příjemce“
- ^ „Oficiální stránky Ceny Izraele (v hebrejštině) - Odůvodnění soudců pro udělení grantu příjemci“.
- ^ Profil člena, Academia Europaea. Vyvolány 2. ledna 2015.
- ^ „Lauree honoris causa“ (v italštině). 13. prosince 2016. Citováno 2. dubna 2018.
- ^ Profil člena, Izraelská akademie věd a humanitních věd.
- ^ Profil člena, National Academy of Engineering. Citováno 2. ledna 2015.
- ^ Nově zvolení členové, Americká akademie umění a věd, duben 2014. Citováno 2. ledna 2015.
- ^ „Volba NAS 2019“. Národní akademie věd. 30. dubna 2019.
- ^ „David Harel“. královská společnost. Citováno 19. září 2020.
externí odkazy
- David Harel domovská stránka Weizmann Institute of Science.
- David Harel stránka na Izraelské akademii věd a humanitních věd.
