I am a member of the Formal Technologies and Solutions group at IBM Research Lab in Haifa. My work is mostly related to design automation techniques based on formal methods. I am currently leading a team working on logic synthesis algorithms, low power optimizations and soft error verification and analysis.
I received my B.Sc. and M.Sc. degrees in computer science (both Summa Cum Laude) at 2005 and 2008, respectively, from the University of Haifa, Israel. My research was in the area of computer vision, focusing on algorithms for shadow removal in digital images.