| http://dbpedia.org/ontology/abstract
|
David Harel (* 12. April 1950 in London) i … 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ür Informatik am Weizmann-Institut, wo er seit 1980 tätig 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ät für Mathematik und Informatik. Er war unter anderem Gastprofessor und Gastwissenschaftler an der University of Edinburgh, der Universität in Singapur, bei Microsoft Research, in Grenoble (Verimag), Birmingham und dem NASA Goddard Space Flight Center. 1987 war er einer der Gründer 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äufig studiertes Modell für einfache tierische Nervensysteme. Weitere Arbeitsgebiete sind Synthese und Kommunikation von Düften (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ür 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ählt. Seit 2010 ist er Mitglied der Israelischen Akademie der Wissenschaften. 2014 wurde er darüber hinaus in die American Academy of Arts and Sciences aufgenommen, 2019 in die National Academy of Sciences, 2020 in die Royal Society.my of Sciences, 2020 in die Royal Society.
, David Harel (Hebrew: דוד הראל; born 12 Apr … David Harel (Hebrew: דוד הראל; 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. Science at the institute for seven years.
, David Harel (ur. 1950 w Londynie) – izrael … 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.tu Weizmana. Jest członkiem IEEE oraz ACM.
, العنوان (بالعبرية: דוד הראל) مواليد 12 أبريل 1950 في لندن، عالم حاسوب إسرائيلي، وكاتب، حصل على عدة جوائز.
|
| http://dbpedia.org/ontology/academicDiscipline
|
http://dbpedia.org/resource/Computer_Science +
|
| http://dbpedia.org/ontology/award
|
http://dbpedia.org/resource/Israel_Prize +
, http://dbpedia.org/resource/ACM_Software_System_Award +
|
| http://dbpedia.org/ontology/birthDate
|
"1950-04-12"^^xsd:date
|
| http://dbpedia.org/ontology/nationality
|
http://dbpedia.org/resource/Israel +
|
| http://dbpedia.org/ontology/thumbnail
|
http://commons.wikimedia.org/wiki/Special:FilePath/David_Harel_%28FLoC_2006%29.jpg?width=300 +
|
| http://dbpedia.org/ontology/wikiPageExternalLink
|
http://academy.mpage.co.il/Branches/Branch.aspx%3FnodeId=826&branchId=370 +
, http://www.wisdom.weizmann.ac.il/~harel/ +
|
| http://dbpedia.org/ontology/wikiPageID
|
4321829
|
| http://dbpedia.org/ontology/wikiPageLength
|
7780
|
| http://dbpedia.org/ontology/wikiPageRevisionID
|
1103645629
|
| http://dbpedia.org/ontology/wikiPageWikiLink
|
http://dbpedia.org/resource/Unified_Modeling_Language +
, http://dbpedia.org/resource/Category:1950_births +
, http://dbpedia.org/resource/Statechart +
, http://dbpedia.org/resource/Category:Graph_drawing_people +
, http://dbpedia.org/resource/I-Logix +
, http://dbpedia.org/resource/Israel_Prize +
, http://dbpedia.org/resource/List_of_Israel_Prize_recipients +
, http://dbpedia.org/resource/Category:Members_of_Academia_Europaea +
, http://dbpedia.org/resource/IEEE +
, http://dbpedia.org/resource/Category:Israeli_computer_scientists +
, http://dbpedia.org/resource/Israel_Academy_of_Sciences_and_Humanities +
, http://dbpedia.org/resource/ACM_Software_System_Award +
, http://dbpedia.org/resource/Graph_layout +
, http://dbpedia.org/resource/Category:Formal_methods_people +
, http://dbpedia.org/resource/Software_engineering +
, http://dbpedia.org/resource/Category:Israel_Prize_in_computer_sciences_recipients +
, http://dbpedia.org/resource/Computability +
, http://dbpedia.org/resource/American_Academy_of_Arts_and_Sciences +
, http://dbpedia.org/resource/Database_theory +
, http://dbpedia.org/resource/Message_sequence_chart +
, http://dbpedia.org/resource/Chinese_Academy_of_Sciences +
, http://dbpedia.org/resource/Category:Weizmann_Institute_of_Science_faculty +
, http://dbpedia.org/resource/University_of_Milano-Bicocca +
, http://dbpedia.org/resource/Category:Living_people +
, http://dbpedia.org/resource/Category:Fellows_of_the_American_Association_for_the_Advancement_of_Science +
, http://dbpedia.org/resource/Turing_test +
, http://dbpedia.org/resource/American_Association_for_the_Advancement_of_Science +
, http://dbpedia.org/resource/Category:Software_engineering_researchers +
, http://dbpedia.org/resource/Stevens_Award +
, http://dbpedia.org/resource/Odour +
, http://dbpedia.org/resource/Category:Fellows_of_the_American_Academy_of_Arts_and_Sciences +
, http://dbpedia.org/resource/Massachusetts_Institute_of_Technology +
, http://dbpedia.org/resource/Computer_science +
, http://dbpedia.org/resource/Academia_Europaea +
, http://dbpedia.org/resource/Category:Foreign_associates_of_the_National_Academy_of_Engineering +
, http://dbpedia.org/resource/Carl_Hewitt +
, http://dbpedia.org/resource/National_Academy_of_Sciences +
, http://dbpedia.org/resource/Category:Foreign_associates_of_the_National_Academy_of_Sciences +
, http://dbpedia.org/resource/Israel +
, http://dbpedia.org/resource/List_of_Fellows_of_the_Association_for_Computing_Machinery +
, http://dbpedia.org/resource/Caenorhabditis_elegans +
, http://dbpedia.org/resource/Category:Fellows_of_the_Royal_Society +
, http://dbpedia.org/resource/Emet_Prize +
, http://dbpedia.org/resource/Association_for_Computing_Machinery +
, http://dbpedia.org/resource/Royal_Society +
, http://dbpedia.org/resource/National_Academy_of_Engineering +
, http://dbpedia.org/resource/Category:Fellows_of_the_Association_for_Computing_Machinery +
, http://dbpedia.org/resource/Weizmann_Institute_of_Science +
, http://dbpedia.org/resource/Category:Foreign_members_of_the_Chinese_Academy_of_Sciences +
, http://dbpedia.org/resource/Category:Fellow_Members_of_the_IEEE +
, http://dbpedia.org/resource/Category:Unified_Modeling_Language +
, http://dbpedia.org/resource/Modelling_biological_systems +
, http://dbpedia.org/resource/Category:Israeli_Jews +
, http://dbpedia.org/resource/EATCS +
, http://dbpedia.org/resource/Weizmann_Institute +
, http://dbpedia.org/resource/Computer_Science +
, http://dbpedia.org/resource/Dynamic_logic_%28modal_logic%29 +
, http://dbpedia.org/resource/File:OO_Modeling_languages_history.jpg +
, http://dbpedia.org/resource/Category:Mathematicians_from_London +
, http://dbpedia.org/resource/Category:Systems_biologists +
|
| http://dbpedia.org/property/birthDate
|
"1950-04-12"^^xsd:date
|
| http://dbpedia.org/property/birthPlace
|
London, England, UK
|
| http://dbpedia.org/property/caption
|
David Harel with Carl Hewitt at FLoC 2006
|
| http://dbpedia.org/property/field
|
http://dbpedia.org/resource/Computer_Science +
|
| http://dbpedia.org/property/name
|
David Harel
|
| http://dbpedia.org/property/nationality
|
Israeli and British
|
| http://dbpedia.org/property/prizes
|
http://dbpedia.org/resource/ACM_Software_System_Award +
, http://dbpedia.org/resource/Israel_Prize +
|
| http://dbpedia.org/property/wikiPageUsesTemplate
|
http://dbpedia.org/resource/Template:EngvarB +
, http://dbpedia.org/resource/Template:Birth_date_and_age +
, http://dbpedia.org/resource/Template:FRS_2020 +
, http://dbpedia.org/resource/Template:Infobox_scientist +
, http://dbpedia.org/resource/Template:Reflist +
, http://dbpedia.org/resource/Template:Post-nominals +
, http://dbpedia.org/resource/Template:Use_dmy_dates +
, http://dbpedia.org/resource/Template:Authority_control +
|
| http://dbpedia.org/property/workInstitution
|
http://dbpedia.org/resource/Weizmann_Institute +
|
| http://purl.org/dc/terms/subject
|
http://dbpedia.org/resource/Category:Fellows_of_the_Royal_Society +
, http://dbpedia.org/resource/Category:Software_engineering_researchers +
, http://dbpedia.org/resource/Category:Living_people +
, http://dbpedia.org/resource/Category:Mathematicians_from_London +
, http://dbpedia.org/resource/Category:Foreign_members_of_the_Chinese_Academy_of_Sciences +
, http://dbpedia.org/resource/Category:Fellows_of_the_Association_for_Computing_Machinery +
, http://dbpedia.org/resource/Category:Fellow_Members_of_the_IEEE +
, http://dbpedia.org/resource/Category:Graph_drawing_people +
, http://dbpedia.org/resource/Category:Israel_Prize_in_computer_sciences_recipients +
, http://dbpedia.org/resource/Category:Formal_methods_people +
, http://dbpedia.org/resource/Category:Foreign_associates_of_the_National_Academy_of_Sciences +
, http://dbpedia.org/resource/Category:Fellows_of_the_American_Association_for_the_Advancement_of_Science +
, http://dbpedia.org/resource/Category:Israeli_Jews +
, http://dbpedia.org/resource/Category:Systems_biologists +
, http://dbpedia.org/resource/Category:Members_of_Academia_Europaea +
, http://dbpedia.org/resource/Category:Weizmann_Institute_of_Science_faculty +
, http://dbpedia.org/resource/Category:Fellows_of_the_American_Academy_of_Arts_and_Sciences +
, http://dbpedia.org/resource/Category:Unified_Modeling_Language +
, http://dbpedia.org/resource/Category:1950_births +
, http://dbpedia.org/resource/Category:Foreign_associates_of_the_National_Academy_of_Engineering +
, http://dbpedia.org/resource/Category:Israeli_computer_scientists +
|
| http://purl.org/linguistics/gold/hypernym
|
http://dbpedia.org/resource/Professor +
|
| http://schema.org/sameAs
|
http://viaf.org/viaf/109353358 +
|
| http://www.w3.org/ns/prov#wasDerivedFrom
|
http://en.wikipedia.org/wiki/David_Harel?oldid=1103645629&ns=0 +
|
| http://xmlns.com/foaf/0.1/depiction
|
http://commons.wikimedia.org/wiki/Special:FilePath/OO_Modeling_languages_history.jpg +
, http://commons.wikimedia.org/wiki/Special:FilePath/David_Harel_%28FLoC_2006%29.jpg +
|
| http://xmlns.com/foaf/0.1/isPrimaryTopicOf
|
http://en.wikipedia.org/wiki/David_Harel +
|
| http://xmlns.com/foaf/0.1/name
|
David Harel
|
| owl:sameAs |
https://global.dbpedia.org/id/2i8Vr +
, http://viaf.org/viaf/109353358 +
, http://pl.dbpedia.org/resource/David_Harel +
, http://ar.dbpedia.org/resource/%D8%AF%D9%8A%D9%81%D9%8A%D8%AF_%D9%87%D8%B1%D8%A7%D9%84 +
, https://dblp.org/pid/h/DavidHarel +
, http://arz.dbpedia.org/resource/%D8%AF%D9%8A%D9%81%D9%8A%D8%AF_%D9%87%D8%B1%D8%A7%D9%84 +
, https://orcid.org/0000-0001-7240-3931 +
, http://rdf.freebase.com/ns/m.0bw_tj +
, http://d-nb.info/gnd/109527992 +
, http://data.bibliotheken.nl/id/thes/p074914235 +
, http://mg.dbpedia.org/resource/David_Harel +
, http://www.wikidata.org/entity/Q2920599 +
, http://de.dbpedia.org/resource/David_Harel +
, http://yago-knowledge.org/resource/David_Harel +
, http://he.dbpedia.org/resource/%D7%93%D7%95%D7%93_%D7%94%D7%A8%D7%90%D7%9C +
, http://dbpedia.org/resource/David_Harel +
|
| rdf:type |
http://dbpedia.org/class/yago/Academician109759069 +
, http://dbpedia.org/class/yago/Scientist110560637 +
, http://dbpedia.org/ontology/Eukaryote +
, http://dbpedia.org/class/yago/CausalAgent100007347 +
, http://dbpedia.org/class/yago/Educator110045713 +
, http://dbpedia.org/ontology/Animal +
, http://dbpedia.org/class/yago/Object100002684 +
, http://www.wikidata.org/entity/Q215627 +
, http://dbpedia.org/class/yago/Whole100003553 +
, http://dbpedia.org/class/yago/LivingThing100004258 +
, http://dbpedia.org/ontology/Person +
, http://dbpedia.org/class/yago/ComputerScientist109951070 +
, http://www.wikidata.org/entity/Q5 +
, http://dbpedia.org/ontology/Scientist +
, http://dbpedia.org/class/yago/ComputerUser109951274 +
, http://dbpedia.org/class/yago/Organism100004475 +
, http://dbpedia.org/class/yago/Associate109816771 +
, http://dbpedia.org/class/yago/WikicatComputerScientists +
, http://www.wikidata.org/entity/Q729 +
, http://dbpedia.org/class/yago/WikicatFellowsOfTheAssociationForComputingMachinery +
, http://dbpedia.org/class/yago/PhysicalEntity100001930 +
, http://dbpedia.org/class/yago/Person100007846 +
, http://dbpedia.org/class/yago/WikicatJewishInventors +
, http://dbpedia.org/class/yago/Peer109626238 +
, http://dbpedia.org/class/yago/WikicatIsraeliPeople +
, http://dbpedia.org/class/yago/WikicatLivingPeople +
, http://dbpedia.org/ontology/Species +
, http://dbpedia.org/class/yago/YagoLegalActorGeo +
, http://dbpedia.org/class/yago/YagoLegalActor +
, http://dbpedia.org/class/yago/WikicatSystemsBiologists +
, http://dbpedia.org/class/yago/Colleague109935990 +
, http://www.wikidata.org/entity/Q19088 +
, http://schema.org/Person +
, http://dbpedia.org/class/yago/WikicatPeopleFromLondon +
, http://dbpedia.org/class/yago/Inventor110214637 +
, http://www.wikidata.org/entity/Q901 +
, http://dbpedia.org/class/yago/Biologist109855630 +
, http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#NaturalPerson +
, http://dbpedia.org/class/yago/WikicatFormalMethodsPeople +
, http://dbpedia.org/class/yago/Adult109605289 +
, http://dbpedia.org/class/yago/WikicatIsraeliAcademics +
, http://dbpedia.org/class/yago/Creator109614315 +
, http://dbpedia.org/class/yago/WikicatIsraeliComputerScientists +
, http://xmlns.com/foaf/0.1/Person +
, http://dbpedia.org/class/yago/Professional110480253 +
|
| rdfs:comment |
David Harel (ur. 1950 w Londynie) – izrael … 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. Harel był przez siedem lat dziekanem Wydziału Matematyki i Informatyki Instytutu Weizmana. Jest członkiem IEEE oraz ACM.tu Weizmana. Jest członkiem IEEE oraz ACM.
, David Harel (Hebrew: דוד הראל; born 12 Apr … David Harel (Hebrew: דוד הראל; 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. Science at the institute for seven years.
, العنوان (بالعبرية: דוד הראל) مواليد 12 أبريل 1950 في لندن، عالم حاسوب إسرائيلي، وكاتب، حصل على عدة جوائز.
, David Harel (* 12. April 1950 in London) i … 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ät in Singapur, bei Microsoft Research, in Grenoble (Verimag), Birmingham und dem NASA Goddard Space Flight Center. 1987 war er einer der Gründer der Softwarefirma I-Logix (2006 an Telelogic verkauft).irma I-Logix (2006 an Telelogic verkauft).
|
| rdfs:label |
ديفيد هرال
, David Harel
|
