David Harel

David Harel (center) 2006

David Harel (born April 12, 1950 in London ) is an Israeli computer scientist who deals with software engineering, theoretical computer science (computability, database theory, automaton theory), systems biology and dynamic logic.

Harel received his PhD from the Massachusetts Institute of Technology in 1978 . He is professor of computer science at the Weizmann Institute , where he has been working since 1980. In 1983 he became associate professor there and in 1989 professor. From 1989 to 1995 he was head of the applied mathematics and computer science department and from 1998 to 2004 dean of the faculty for mathematics and computer science.

He was visiting professor and visiting scholar at the University of Edinburgh , the University of Singapore, Microsoft Research, Grenoble (Verimag), Birmingham and the NASA Goddard Space Flight Center. In 1987 he was one of the founders of the software company I-Logix (sold to Telelogic in 2006).

In the 1980s he developed Statecharts , a graphical programming language that became part of the UML standard. He is working on the computer model of the nematode C. elegans , a frequently studied model for simple animal nervous systems. Other areas of work are synthesis and communication of fragrances (at DigiScents), graphic layout, visual programming languages.

In 2004 he received the Israel Prize and in 1996 the Stevens Award. In 2007 he received the ACM Software System Award for developing Statemate . He is a Fellow of the Association for Computing Machinery (ACM, 1994) and an IEEE Fellow (1995). In 2006 he was elected a member of the Academia Europaea and in 2007 a Fellow of the American Association for the Advancement of Science . In 2014 he was admitted to the American Academy of Arts and Sciences , 2019 to the National Academy of Sciences , and 2020 to the Royal Society .

Fonts

• Algorithmics: the spirit of computing, 1987, 3rd edition, Addison-Wesley 2004, Springer Verlag 2012 (with Yishai Feldman)
  • also in a different version than: The Science of Computing: Exploring the Nature and Power of Algorithms, Addison-Wesley 1989, published
  • German translation: Algorithmics, the art of computing, Springer Verlag 2006
• Computers Ltd .: what they really can't do, Oxford University Press 2000
• with Dexter Kozen, Jerzy Tiuryn Dynamic Logic , MIT Press 2000
• with M. Politi: Modeling Reactive Systems with Statecharts: The STATEMATE Approach, McGraw Hill 1998
  • an earlier version appeared as: The Languages ​​of STATEMATE, I-Logix, Inc., Andover, MA, 1991
• with R. Marelly: Come, Let's Play: Scenario-Based Programming Using LSCs and the Play-Engine, Springer Verlag 2003

Web links

• Homepage