I am currently the mananger of the quantum computing group in IBM Research lab in Haifa. We are part of the Qiskit team of IBM Quantum and our work spans algorithms for quantum device characterization, quantum dynamics, error mitigation and quantum circuit synthesis and simulation.
In the past my work was mostly related to research and developeent of design automation techniques using formal methods. I was leading teams working on logic synthesis algorithms, low power optimizations and soft error verification and analysis methods.
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.