Dmitry Sotnikov, IBM Research—Haifa