I am a lecturer and a member of the Theory Group at the School of Electronic Engineering and Computer Science, Queen Mary University of London. Before it, I worked as a software engineer at ARM developing open source compilation tools.
Before it, I was a researcher in IBM T.J. Watson Research Center.
Before joining IBM, I studied Computer Science in Tel Aviv University.

News

Research Interests

  • Program analysis, verification, and synthesis
  • Shape analysis
  • Compilers
  • Programming languages
  • Parallel and concurrent programming
  • Software engineering
  • Abstract interpretation
  • Theorem provers/decision procedures
  • Transitive closure logics