Alex Landau, IBM Research—Haifa