. . . . . . . . . . . . . . . "David Harel"@pl . . . . . "\u062F\u064A\u0641\u064A\u062F \u0647\u0631\u0627\u0644"@ar . . "David Harel (ur. 1950 w Londynie) \u2013 izraelski wyk\u0142adowca informatyki w Instytucie Weizmana w Izraelu. Jest autorem prac z logiki modalnej, teorii obliczalno\u015Bci i in\u017Cynierii oprogramowania oraz autorem cenionej ksi\u0105\u017Cki \u201ERzecz o istocie informatyki. Algorytmika\u201D (ang. \u201EAlgorithmics: The Spirit of Computing\u201D). W latach 80. XX wieku stworzy\u0142 j\u0119zyk Statechart, w\u0142\u0105czony nast\u0119pnie do standardu modelowania UML. Harel by\u0142 przez siedem lat dziekanem Wydzia\u0142u Matematyki i Informatyki Instytutu Weizmana. Jest cz\u0142onkiem IEEE oraz ACM."@pl . . "\u0627\u0644\u0639\u0646\u0648\u0627\u0646 (\u0628\u0627\u0644\u0639\u0628\u0631\u064A\u0629: \u05D3\u05D5\u05D3 \u05D4\u05E8\u05D0\u05DC\u200F) \u0645\u0648\u0627\u0644\u064A\u062F 12 \u0623\u0628\u0631\u064A\u0644 1950 \u0641\u064A \u0644\u0646\u062F\u0646\u060C \u0639\u0627\u0644\u0645 \u062D\u0627\u0633\u0648\u0628 \u0625\u0633\u0631\u0627\u0626\u064A\u0644\u064A\u060C \u0648\u0643\u0627\u062A\u0628\u060C \u062D\u0635\u0644 \u0639\u0644\u0649 \u0639\u062F\u0629 \u062C\u0648\u0627\u0626\u0632."@ar . . . . . . . . . . . . . . . . . . . . "\u0627\u0644\u0639\u0646\u0648\u0627\u0646 (\u0628\u0627\u0644\u0639\u0628\u0631\u064A\u0629: \u05D3\u05D5\u05D3 \u05D4\u05E8\u05D0\u05DC\u200F) \u0645\u0648\u0627\u0644\u064A\u062F 12 \u0623\u0628\u0631\u064A\u0644 1950 \u0641\u064A \u0644\u0646\u062F\u0646\u060C \u0639\u0627\u0644\u0645 \u062D\u0627\u0633\u0648\u0628 \u0625\u0633\u0631\u0627\u0626\u064A\u0644\u064A\u060C \u0648\u0643\u0627\u062A\u0628\u060C \u062D\u0635\u0644 \u0639\u0644\u0649 \u0639\u062F\u0629 \u062C\u0648\u0627\u0626\u0632."@ar . . . . . . . . . . "David Harel (Hebrew: \u05D3\u05D5\u05D3 \u05D4\u05E8\u05D0\u05DC; born 12 April 1950) is a computer scientist, currently serving as President of the Israel Academy of Sciences and Humanities. He has been on the faculty of the Weizmann Institute of Science in Israel since 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."@en . . . . . . . . . . "David Harel (Hebrew: \u05D3\u05D5\u05D3 \u05D4\u05E8\u05D0\u05DC; born 12 April 1950) is a computer scientist, currently serving as President of the Israel Academy of Sciences and Humanities. He has been on the faculty of the Weizmann Institute of Science in Israel since 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."@en . . . . . . . . . "1950-04-12"^^ . . . . . . . "4321829"^^ . . . . . . "David Harel with Carl Hewitt at FLoC 2006"@en . . "David Harel (* 12. April 1950 in London) ist ein israelischer Informatiker, der sich mit Software-Engineering, theoretischer Informatik (Berechenbarkeit, Datenbanktheorie, Automatentheorie), Systembiologie und dynamischer Logik befasst. Harel wurde 1978 am Massachusetts Institute of Technology promoviert. Er ist Professor f\u00FCr Informatik am Weizmann-Institut, wo er seit 1980 t\u00E4tig ist. 1983 wurde er dort Associate Professor und 1989 Professor. Von 1989 bis 1995 war er Leiter der Abteilung Angewandte Mathematik und Informatik und von 1998 bis 2004 Dekan der Fakult\u00E4t f\u00FCr Mathematik und Informatik. Er war unter anderem Gastprofessor und Gastwissenschaftler an der University of Edinburgh, der Universit\u00E4t in Singapur, bei Microsoft Research, in Grenoble (Verimag), Birmingham und dem NASA Goddard Space Flight Center. 1987 war er einer der Gr\u00FCnder der Softwarefirma I-Logix (2006 an Telelogic verkauft). In den 1980er Jahren entwickelte er Statecharts, eine graphische Programmiersprache, die Teil des UML-Standards wurde. Er arbeitet am Computermodell der Nematode C. elegans, ein h\u00E4ufig studiertes Modell f\u00FCr einfache tierische Nervensysteme. Weitere Arbeitsgebiete sind Synthese und Kommunikation von D\u00FCften (bei der Firma DigiScents), Graphik-Layout, visuelle Programmiersprachen. 2004 erhielt er den Israel-Preis und 1996 den Stevens Award. 2007 erhielt er den ACM Software System Award f\u00FCr die Entwicklung von Statemate. Er ist Fellow der Association for Computing Machinery (ACM, 1994) und IEEE Fellow (1995). 2006 wurde er zum Mitglied der Academia Europaea und 2007 zum Fellow der American Association for the Advancement of Science gew\u00E4hlt. Seit 2010 ist er Mitglied der Israelischen Akademie der Wissenschaften. 2014 wurde er dar\u00FCber hinaus in die American Academy of Arts and Sciences aufgenommen, 2019 in die National Academy of Sciences, 2020 in die Royal Society."@de . . "David Harel"@en . . . . . . . . . . "David Harel"@en . . "1950-04-12"^^ . . "David Harel (ur. 1950 w Londynie) \u2013 izraelski wyk\u0142adowca informatyki w Instytucie Weizmana w Izraelu. Jest autorem prac z logiki modalnej, teorii obliczalno\u015Bci i in\u017Cynierii oprogramowania oraz autorem cenionej ksi\u0105\u017Cki \u201ERzecz o istocie informatyki. Algorytmika\u201D (ang. \u201EAlgorithmics: The Spirit of Computing\u201D). W latach 80. XX wieku stworzy\u0142 j\u0119zyk Statechart, w\u0142\u0105czony nast\u0119pnie do standardu modelowania UML. Obecnie jego zainteresowania koncentruj\u0105 si\u0119 na badaniu j\u0119zyk\u00F3w wizualnych, sposob\u00F3w reprezentacji graf\u00F3w, biologii system\u00F3w i komunikacji zapachowej. Pracuje r\u00F3wnie\u017C nad komputerowym modelem nicieni Caenorhabditis elegans, kt\u00F3re by\u0142y pierwszymi organizmami wielokom\u00F3rkowymi o w pe\u0142ni zsekwencjonowanym genomie. Harel by\u0142 przez siedem lat dziekanem Wydzia\u0142u Matematyki i Informatyki Instytutu Weizmana. Jest cz\u0142onkiem IEEE oraz ACM."@pl . "1103645629"^^ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . ""@en . . . "David Harel (* 12. April 1950 in London) ist ein israelischer Informatiker, der sich mit Software-Engineering, theoretischer Informatik (Berechenbarkeit, Datenbanktheorie, Automatentheorie), Systembiologie und dynamischer Logik befasst. Er war unter anderem Gastprofessor und Gastwissenschaftler an der University of Edinburgh, der Universit\u00E4t in Singapur, bei Microsoft Research, in Grenoble (Verimag), Birmingham und dem NASA Goddard Space Flight Center. 1987 war er einer der Gr\u00FCnder der Softwarefirma I-Logix (2006 an Telelogic verkauft)."@de . "Israeli and British"@en . . . . . . . . . . . . . . . . "7780"^^ . . . . . . . . . . . . "David Harel"@en . "London, England, UK"@en . "David Harel"@de . . . . . . . .