Muli Ben-Yehuda, IBM Research—Haifa