David Harel
![](http://upload.wikimedia.org/wikipedia/commons/thumb/4/4f/David_Harel_%28FLoC_2006%29.jpg/220px-David_Harel_%28FLoC_2006%29.jpg)
David Harel (ur. 1950 w Londynie) – izraelski wykładowca informatyki w Instytucie Weizmana w Izraelu. Jest autorem prac z logiki modalnej, teorii obliczalności i inżynierii oprogramowania oraz autorem cenionej książki „Rzecz o istocie informatyki. Algorytmika” (ang. „Algorithmics: The Spirit of Computing”).
W latach 80. XX wieku stworzył język Statechart, włączony następnie do standardu modelowania UML.
Obecnie jego zainteresowania koncentrują się na badaniu języków wizualnych, sposobów reprezentacji grafów, biologii systemów i komunikacji zapachowej. Pracuje również nad komputerowym modelem nicieni Caenorhabditis elegans, które były pierwszymi organizmami wielokomórkowymi o w pełni zsekwencjonowanym genomie.
Harel był przez siedem lat dziekanem Wydziału Matematyki i Informatyki Instytutu Weizmana. Jest członkiem IEEE oraz ACM.
Odsyłacz zewnętrzny
- Strona Harela w Instytucie Weizmanna
- Google Scholar: E20Gzu0AAAAJ