David Harel#

David Harel
Email:dharel 'at' weizmann.ac.il
Membership Number:2366
Membership type:ORDINARY
Main Country of Residence:ISRAEL
Section:INFORMATICS
Username:dharel
Elected:2006
Homepage: 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

Imprint Privacy policy « This page (revision-8) was last updated on Wednesday, 17. January 2018, 11:02 by Kaiser Dana
  • operated by