I am a researcher in IBM T.J. Watson Research Center.
Before joining IBM, I studied Computer Science in Tel Aviv University.

Research Interests

• Programming languages
• Program analysis and verification
• Program synthesis
• Abstract interpretation
• Shape analysis
• Theorem provers/decision procedures
• Transitive closure logics

News

Our paper titled "Abstraction-Guided Synthesis" will appear in POPL'10. The paper presents an approach for synthesizing synchronization in concurrent programs using abstract interpretation.