About Me
I am a Royal Academy of Engineering/EPSRC Research Fellow at the School of Electronic Engineering and Computer Science at Queen Mary, University of London since October 2010. I used to be a post-doctoral research associate in Peter O'Hearn's Separation Logic and Local Reasoning group at Queen Mary before I became a research fellow. I did my doctoral studies the Computer Science Department of Tel Aviv University, where I was supervised by Prof. Mooly Sagiv. Before my doctoral studies, I worked for a few years in IBM Haifa Research Laboratory on secure distributed storage systems as a research staff member in the Object Store project.
Research Interests
Software systems, effectively, run our world. The goal of my research is to help improve our understanding, and thus our trust, in these critical and omnipresent systems. In particular, I am interested in the technical challenges that arise when designing, engineering, abstracting, and verifying infinite state concurrent systems. These challenges cannot be addressed by a single silver bullet. (At least, until now, we have not found one). Thus, my scientific interests, listed below, are quite broad.
- Concurrency and concurrent programming
- Program semantics
- Program logics
- Abstract interpretation (static program analysis)
- Developing and understanding software systems
- Design, construction, and evaluation of automatic program analysis tools