David Harel#

David Harel
Membership Number:2366
Membership type:ORDINARY
Main Country of Residence:ISRAEL

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 changed on Monday, 14. June 2021, 13:59 by Kaiser Dana
  • operated by