Salman A. Baset, IBM Research