David Harel is a professor of computer science at the Weizmann Institute of Science in Israel. Born in London, England, he was Dean of the Faculty of Mathematics and Computer Science at the institute for seven years. Harel is best known for his work on dynamic logic, computability and software engineering. In the 1980s he invented the graphical language of Statecharts, which has been adopted as part of the UML standard.

PropertyValue
dbpedia-owl:thumbnail
dbpprop:abstract
  • David Harel is a professor of computer science at the Weizmann Institute of Science in Israel. Born in London, England, he was Dean of the Faculty of Mathematics and Computer Science at the institute for seven years. Harel is best known for his work on dynamic logic, computability and software engineering. In the 1980s he invented the graphical language of Statecharts, which has been adopted as part of the UML standard. He has also published expository accounts of computer science, such as his award winning 1987 book "Algorithmics: The Spirit of Computing" and has made appearances on Israeli radio and television. He currently works on many diverse topics, including visual languages, graph layout, systems biology and the communication of odours. Harel completed his Ph.D. at MIT between 1976 and 1978, which is exceptionally fast. He is now working on a computer model of a nematode, 'Caenorhabditis elegans', which was the first multicellular organism to have its genome completely sequenced. The eventual completeness of such a model depends on his updated version of the test developed by Alan Turing to identify whether computers could reason well enough that a human communicating with them could not tell whether a human or a machine was at the other end of the communication. He is a fellow of the ACM and the IEEE.
  • David Harel (ur. 1950 w Londynie) - wykładowca informatyki w Instytucie Weizmanna 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" . 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 piewszymi organizmami wielokomórkowymi o w pełni zsekwencjonowanym genomie. Harel był przez siedem lat dziekanem Wydziału Matematyki i Informatyki Instytutu Weizmanna. Jest członkiem IEEE oraz ACM.
dbpprop:hasPhotoCollection
dbpprop:reference
rdf:type
rdfs:comment
  • David Harel is a professor of computer science at the Weizmann Institute of Science in Israel. Born in London, England, he was Dean of the Faculty of Mathematics and Computer Science at the institute for seven years. Harel is best known for his work on dynamic logic, computability and software engineering. In the 1980s he invented the graphical language of Statecharts, which has been adopted as part of the UML standard.
  • David Harel (ur. 1950 w Londynie) - wykładowca informatyki w Instytucie Weizmanna 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" . W latach 80. XX wieku stworzył język Statechart, włączony następnie do standardu modelowania UML.
rdfs:label
  • David Harel
  • David Harel
owl:sameAs
skos:subject
foaf:depiction
foaf:page
is dbpprop:redirect of
is owl:sameAs of