David Harel

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

Harel in 1978 received his doctorate from the Massachusetts Institute of Technology. He is a professor of computer science at the Weizmann Institute, where he has been since 1980. In 1983 he became associate professor there in 1989 and professor. From 1989 to 1995 he was Head of the Department of Applied Mathematics and computer science, and 1998-2004 Dean of the Faculty of Mathematics and computer science.

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

In the 1980s he developed Statecharts, a graphical programming language, which was part of the UML standard. He works on a computer model of the nematode C. elegans, a widely -studied model for simple animal nervous systems. Other areas of work include synthesis and communication of scents ( at the company DigiScents ), graphic layout, visual programming languages.

In 2004 he was awarded the Israel Prize and the 1996 Stevens Award. In 2007 he received the ACM Software System Award for the development of Statemate. He is a Fellow of the Association for Computing Machinery (ACM, 1994), and IEEE Fellow (1995).

Writings

• Algorithmics: the spirit of computing, 1987, 3rd edition, Addison Wesley 2004, Springer Verlag, 2012 ( with Yishai Feldman ) also available in a version other than: The Science of Computing: Exploring the Nature and Power of Algorithms, Addison -Wesley, 1989, published
• German Translation: Algorithms, the art of computing, Springer Verlag 2006

• An earlier version appeared as: The Languages ​​of STATEMATE, I-Logix, Inc., Andover, MA, 1991