I am interested in the technical challenges that arise when designing, engineering, abstracting, and verifying infinite state concurrent programs and distributed systems. These challenges cannot be addressed by a single silver bullet. Thus, my scientific interests, listed below, are quite broad.
- Programming Languages
- Program verification
- Program logics
- Abstract interpretation (aka static analysis)
- Concurrency and concurrent programming
- Distributed systems
- Smart contracts and Blockchain programming
I joined Tel Aviv University in October 2012.
From October 2010 until October 2012 I was a
Royal Academy of Engineering/EPSRC Research Fellow
at the School of Electronic Engineering and Computer Science
at Queen Mary, University of London, and prior to that I was
a post-doctoral research associate in
Separation Logic and Local Reasoning
group at Queen Mary.
I did my doctoral studies the Computer Science
Department of Tel Aviv University, where I was supervised by Prof.
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.