About: David Harel

Facets (new session)
Description
Metadata
Settings
- Rule:
- Inverse Functional Properties:
- "Same As":

About: David Harel Goto Sponge NotDistinct Permalink

An Entity of Type : yago:WikicatSystemsBiologists, within Data Space : dbpedia.demo.openlinksw.com associated with source document(s)

Type:

http://dbpedia.demo.openlinksw.com/c/8LnQo2wT1F

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.

Attributes	Values
rdf:type	Thing foaf:Person person dul:NaturalPerson Eukaryote Person Human Animal animal eukaryote scientist species yago:WikicatComputerScientists schema:Person yago:WikicatLivingPeople yago:WikicatPeopleFromLondon Scientist yago:Academician109759069 yago:Adult109605289 yago:Associate109816771 yago:Biologist109855630 yago:CausalAgent100007347 yago:Colleague109935990 yago:ComputerScientist109951070 yago:ComputerUser109951274 yago:Creator109614315 yago:Educator110045713 yago:Inventor110214637 yago:LivingThing100004258 yago:Object100002684 yago:Organism100004475 yago:Peer109626238 yago:Person100007846 yago:PhysicalEntity100001930 yago:Professional110480253 yago:WikicatIsraeliAcademics yago:WikicatIsraeliComputerScientists yago:WikicatIsraeliPeople yago:WikicatJewishInventors yago:YagoLegalActor yago:YagoLegalActorGeo yago:Scientist110560637 yago:Whole100003553 yago:WikicatFellowsOfTheAssociationForComputingMachinery yago:WikicatFormalMethodsPeople yago:WikicatSystemsBiologists
rdfs:label	David Harel (en) ديفيد هرال (ar) David Harel (de) David Harel (pl)
rdfs:comment	العنوان (بالعبرية: דוד הראל‏) مواليد 12 أبريل 1950 في لندن، عالم حاسوب إسرائيلي، وكاتب، حصل على عدة جوائز. (ar) 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. (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ä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). (de) 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. (pl)
foaf:name	David Harel (en)
name	David Harel (en)
foaf:depiction
birth place	London, England, UK (en)
birth date	1950-04-12 (xsd:date)
dct:subject	Foreign associates of the National Academy of Engineering Graph drawing people Living people Software engineering researchers 1950 births Fellow Members of the IEEE Fellows of the American Academy of Arts and Sciences Fellows of the American Association for the Advancement of Science Fellows of the Royal Society Foreign associates of the National Academy of Sciences Israel Prize in computer sciences recipients Mathematicians from London Systems biologists Fellows of the Association for Computing Machinery Unified Modeling Language Foreign members of the Chinese Academy of Sciences Israeli Jews Israeli computer scientists Members of Academia Europaea Weizmann Institute of Science faculty Formal methods people
Wikipage page ID	4321829 (xsd:integer)
Wikipage revision ID	1103645629 (xsd:integer)
Link from a Wikipage to another Wikipage	Caenorhabditis elegans Foreign associates of the National Academy of Engineering Royal Society Message sequence chart Graph drawing people List of Fellows of the Association for Computing Machinery List of Israel Prize recipients Dynamic logic (modal logic) Living people Computability Computer Science Massachusetts Institute of Technology Software engineering researchers Computer science Software engineering 1950 births Fellow Members of the IEEE

Faceted Search & Find service v1.17_git147 as of Sep 06 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 08.03.3332 as of Dec 5 2024, on Linux (x86_64-generic-linux-glibc212), Single-Server Edition (378 GB total memory, 72 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2025 OpenLink Software