I am a software engineer in ARM, working on 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

• I moved to Cambridge, UK, in April 2011!!

Research Interests

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