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.
- I moved to Cambridge, UK, in April 2011!!
- Shape analysis
- Program analysis, verification, and synthesis
- Programming languages
- Parallel and concurrent programming
- Software engineering
- Abstract interpretation
- Theorem provers/decision procedures
- Transitive closure logics