Banavar, Guruduth, IBM Research, United States