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
  • 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

Imprint Privacy policy « This page (revision-7) was last updated on Wednesday, 1. October 2014, 10:57 by Kaiser Dana
  • operated by