David Harel#
| Membership Number: | 2366 |
| Membership type: | ORDINARY |
| Section: | INFORMATICS |
| Elected: | 2006 |
| Main Country of Residence: | ISRAEL |
| Homepage(s): | http://www.wisdom.weizmann.ac.il/~harel |
Present and Previous Positions
- Head of the John von Neumann Minerva Center for the Development of Reactive Systems
- 1989 - 1995 Head of the Department of Applied Mathematics and Computer Science at Weizmann Institute of Science
- 1991 - 1999 Adjunct professor at the Open University of Israel
- 1978 PhD from the Massachusetts Institute of Technology
Fields of Scholarship
- Computability (levels of undecidability)
- Logics of programs (dynamic logic)
- Database theory (query languages and their power)
- Automata theory
Honours and Awards
- 1992 ACM Karlstrom Outstanding Educator Award
- 1996 The Stevens Award in Software Development Methods
- 2004 The Israel Prize
- 2006 The ACM SIGSOFT Outstanding Research Award
- 2006 Member of Academia Europaea
- 2007 The ACM Software System Award
- 2008 The ACM SIGSOFT Impact Paper Award
- 2010 The Emet Prize
- Member of the Israel Academy of Sciences and Humanities
