This HTML5 document contains 190 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dbpedia-dehttp://de.dbpedia.org/resource/
n7http://academy.mpage.co.il/Branches/
dctermshttp://purl.org/dc/terms/
yago-reshttp://yago-knowledge.org/resource/
dbohttp://dbpedia.org/ontology/
n18http://dbpedia.org/resource/File:
foafhttp://xmlns.com/foaf/0.1/
n24https://dblp.org/pid/h/
n12https://global.dbpedia.org/id/
dbpedia-hehttp://he.dbpedia.org/resource/
yagohttp://dbpedia.org/class/yago/
schemahttp://schema.org/
dbthttp://dbpedia.org/resource/Template:
n22http://arz.dbpedia.org/resource/
n34https://orcid.org/
rdfshttp://www.w3.org/2000/01/rdf-schema#
n16http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#
freebasehttp://rdf.freebase.com/ns/
dbpedia-plhttp://pl.dbpedia.org/resource/
n31http://www.wisdom.weizmann.ac.il/~harel/
n13http://viaf.org/viaf/
n15http://commons.wikimedia.org/wiki/Special:FilePath/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
dbpedia-arhttp://ar.dbpedia.org/resource/
owlhttp://www.w3.org/2002/07/owl#
wikipedia-enhttp://en.wikipedia.org/wiki/
dbchttp://dbpedia.org/resource/Category:
dbphttp://dbpedia.org/property/
n27http://mg.dbpedia.org/resource/
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
wikidatahttp://www.wikidata.org/entity/
goldhttp://purl.org/linguistics/gold/
dbrhttp://dbpedia.org/resource/
n29http://d-nb.info/gnd/
n25http://data.bibliotheken.nl/id/thes/

Statements

Subject Item
dbr:David_Harel
rdf:type
yago:Colleague109935990 yago:WikicatSystemsBiologists dbo:Animal yago:Inventor110214637 yago:WikicatFormalMethodsPeople dbo:Person yago:WikicatIsraeliComputerScientists yago:ComputerScientist109951070 yago:ComputerUser109951274 dbo:Scientist n16:NaturalPerson yago:PhysicalEntity100001930 yago:WikicatFellowsOfTheAssociationForComputingMachinery dbo:Species yago:Creator109614315 yago:LivingThing100004258 wikidata:Q901 yago:YagoLegalActor yago:YagoLegalActorGeo yago:WikicatLivingPeople wikidata:Q19088 owl:Thing yago:Biologist109855630 wikidata:Q5 yago:WikicatPeopleFromLondon yago:Object100002684 yago:WikicatComputerScientists wikidata:Q729 yago:Educator110045713 yago:Peer109626238 yago:Adult109605289 yago:Academician109759069 wikidata:Q215627 yago:Whole100003553 yago:Person100007846 yago:WikicatIsraeliPeople yago:Professional110480253 schema:Person yago:CausalAgent100007347 yago:WikicatJewishInventors yago:Associate109816771 yago:Organism100004475 dbo:Eukaryote yago:WikicatIsraeliAcademics yago:Scientist110560637 foaf:Person
rdfs:label
David Harel ديفيد هرال David Harel David Harel
rdfs:comment
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. العنوان (بالعبرية: דוד הראל‏) مواليد 12 أبريل 1950 في لندن، عالم حاسوب إسرائيلي، وكاتب، حصل على عدة جوائز. 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. 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).
foaf:name
David Harel
dbp:name
David Harel
foaf:depiction
n15:OO_Modeling_languages_history.jpg n15:David_Harel_(FLoC_2006).jpg
dbp:birthPlace
London, England, UK
dbo:birthDate
1950-04-12
dcterms:subject
dbc:1950_births dbc:Israel_Prize_in_computer_sciences_recipients dbc:Members_of_Academia_Europaea dbc:Living_people dbc:Software_engineering_researchers dbc:Israeli_computer_scientists dbc:Foreign_associates_of_the_National_Academy_of_Engineering dbc:Systems_biologists dbc:Foreign_members_of_the_Chinese_Academy_of_Sciences dbc:Unified_Modeling_Language dbc:Mathematicians_from_London dbc:Fellow_Members_of_the_IEEE dbc:Israeli_Jews dbc:Graph_drawing_people dbc:Foreign_associates_of_the_National_Academy_of_Sciences dbc:Formal_methods_people dbc:Fellows_of_the_Royal_Society dbc:Weizmann_Institute_of_Science_faculty dbc:Fellows_of_the_Association_for_Computing_Machinery dbc:Fellows_of_the_American_Academy_of_Arts_and_Sciences dbc:Fellows_of_the_American_Association_for_the_Advancement_of_Science
dbo:wikiPageID
4321829
dbo:wikiPageRevisionID
1103645629
dbo:wikiPageWikiLink
dbc:Fellows_of_the_American_Association_for_the_Advancement_of_Science dbc:1950_births dbc:Members_of_Academia_Europaea dbc:Israel_Prize_in_computer_sciences_recipients dbr:University_of_Milano-Bicocca dbr:American_Association_for_the_Advancement_of_Science dbr:Association_for_Computing_Machinery dbr:Computer_science dbr:Chinese_Academy_of_Sciences dbc:Living_people dbr:Carl_Hewitt dbr:Statechart dbr:List_of_Fellows_of_the_Association_for_Computing_Machinery dbr:EATCS dbr:List_of_Israel_Prize_recipients dbr:Israel_Academy_of_Sciences_and_Humanities dbr:Software_engineering n18:OO_Modeling_languages_history.jpg dbr:Caenorhabditis_elegans dbr:National_Academy_of_Engineering dbr:I-Logix dbc:Software_engineering_researchers dbc:Israeli_computer_scientists dbr:Emet_Prize dbr:National_Academy_of_Sciences dbr:Odour dbr:ACM_Software_System_Award dbc:Foreign_associates_of_the_National_Academy_of_Engineering dbr:Weizmann_Institute dbr:Modelling_biological_systems dbr:Graph_layout dbc:Systems_biologists dbr:Turing_test dbr:Unified_Modeling_Language dbc:Unified_Modeling_Language dbr:Database_theory dbr:American_Academy_of_Arts_and_Sciences dbc:Foreign_members_of_the_Chinese_Academy_of_Sciences dbc:Fellow_Members_of_the_IEEE dbr:Royal_Society dbc:Graph_drawing_people dbc:Mathematicians_from_London dbc:Foreign_associates_of_the_National_Academy_of_Sciences dbr:Academia_Europaea dbr:Dynamic_logic_(modal_logic) dbc:Israeli_Jews dbr:Stevens_Award dbc:Formal_methods_people dbr:IEEE dbr:Israel_Prize dbc:Fellows_of_the_Royal_Society dbc:Weizmann_Institute_of_Science_faculty dbr:Computer_Science dbr:Massachusetts_Institute_of_Technology dbc:Fellows_of_the_Association_for_Computing_Machinery dbr:Weizmann_Institute_of_Science dbr:Israel dbr:Computability dbr:Message_sequence_chart dbc:Fellows_of_the_American_Academy_of_Arts_and_Sciences
dbo:wikiPageExternalLink
n7:Branch.aspx%3FnodeId=826&branchId=370 n31:
owl:sameAs
n12:2i8Vr n13:109353358 yago-res:David_Harel dbpedia-he:דוד_הראל wikidata:Q2920599 n22:ديفيد_هرال n24:DavidHarel n25:p074914235 n27:David_Harel dbpedia-pl:David_Harel n29:109527992 freebase:m.0bw_tj dbpedia-de:David_Harel n34:0000-0001-7240-3931 dbpedia-ar:ديفيد_هرال
dbp:workInstitution
dbr:Weizmann_Institute
dbp:wikiPageUsesTemplate
dbt:Infobox_scientist dbt:Authority_control dbt:EngvarB dbt:Reflist dbt:FRS_2020 dbt:Use_dmy_dates dbt:Birth_date_and_age dbt:Post-nominals
dbo:thumbnail
n15:David_Harel_(FLoC_2006).jpg?width=300
dbp:birthDate
1950-04-12
dbp:caption
David Harel with Carl Hewitt at FLoC 2006
dbp:field
dbr:Computer_Science
dbp:nationality
Israeli and British
dbo:abstract
العنوان (بالعبرية: דוד הראל‏) مواليد 12 أبريل 1950 في لندن، عالم حاسوب إسرائيلي، وكاتب، حصل على عدة جوائز. 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. 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. 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.
dbp:prizes
dbr:Israel_Prize dbr:ACM_Software_System_Award
gold:hypernym
dbr:Professor
schema:sameAs
n13:109353358
prov:wasDerivedFrom
wikipedia-en:David_Harel?oldid=1103645629&ns=0
dbo:wikiPageLength
7780
dbo:academicDiscipline
dbr:Computer_Science
dbo:award
dbr:ACM_Software_System_Award dbr:Israel_Prize
dbo:nationality
dbr:Israel
foaf:isPrimaryTopicOf
wikipedia-en:David_Harel