David Harel#
| Email: | dharel 'at' weizmann.ac.il |
| Membership Number: | 2366 |
| Main Country of Residence: | ISRAEL |
| Section: | INFORMATICS |
| Username: | dharel |
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
- ACM Karlstrom Outstanding Educator Award (1992)
- The Stevens Award in Software Development Methods (1996)
- The Israel Prize (2004)
- The ACM SIGSOFT Outstanding Research Award (2006)
- Member of Academia Europaea (2006)
- The ACM Software System Award (2007)
- The ACM SIGSOFT Impact Paper Award (2008)
- The Emet Prize (2010)
- Member of the Israel Academy of Sciences and Humanities
| operated by | 
|