Biography
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.
In 1987, Harel co-founded software company I-Logix.
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.
Read more about this topic: David Harel
Famous quotes containing the word biography:
“A great biography should, like the close of a great drama, leave behind it a feeling of serenity. We collect into a small bunch the flowers, the few flowers, which brought sweetness into a life, and present it as an offering to an accomplished destiny. It is the dying refrain of a completed song, the final verse of a finished poem.”
—André Maurois (1885–1967)
“There never was a good biography of a good novelist. There couldn’t be. He is too many people, if he’s any good.”
—F. Scott Fitzgerald (1896–1940)
“The death of Irving, which at any other time would have attracted universal attention, having occurred while these things were transpiring, went almost unobserved. I shall have to read of it in the biography of authors.”
—Henry David Thoreau (1817–1862)