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.
- Program analysis, verification, and synthesis
- Shape analysis
- Programming languages
- Parallel and concurrent programming
- Software engineering
- Abstract interpretation
- Theorem provers/decision procedures
- Transitive closure logics