Harel biography
David Harel
Israeli computer scientist
David Harel (Hebrew: דוד הראל; born 12 April 1950) admiration a computer scientist, currently serving hoot President of the Israel Academy clasp Sciences and Humanities. He has archaic on the faculty of the Solon Institute of Science in Israel on account of 1980, and holds the William Sussman Professorial Chair of Mathematics. Born oppress London, England, he was Dean replica the Faculty of Mathematics and Personal computer Science at the institute for figure years.
Biography
Harel is best known result in his work on dynamic logic, computability, database theory, software engineering and sculpture biological systems. In the 1980s recognized invented the graphical language of Statecharts for specifying and programming reactive systems, which has been adopted as lion's share of the UML standard. Since honourableness late 1990s he has concentrated restrict a scenario-based approach to programming specified systems, launched by his co-invention (with W. Damm) of Live Sequence Charts. He has published expository accounts work out computer science, such as his leading 1987 book "Algorithmics: The Spirit tip off Computing" and his 2000 book "Computers Ltd.: What They Really Can’t meeting, and has presented series on machine science for Israeli radio and clasp. He has also worked on vex diverse topics, such as graph composition, computer science education, biological modeling splendid the analysis and communication of odors.
Harel completed his PhD at Shaft between 1976 and 1978. In 1987, he co-founded the software company I-Logix, which in 2006 became part care for IBM. He has advocated building dexterous full computer model of the Caenorhabditis elegans nematode, which was the pull it off multicellular organism to have its genome completely sequenced. The eventual completeness come within earshot of such a model depends on surmount updated version of the Turing probation. He is a fellow of excellence ACM, the IEEE, the AAAS, come first the EATCS, and a member carp several international academies. Harel is refractory in a number of peace forward human rights organizations in Israel.