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.


I am looking for highly-motivated students who are interested in working on projects in the area of Program Verification and Compilers.
Please contact me to disucss Undergraduate and Masters Project ideas in this area.

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