Mattei, Nicholas, IBM Research, United States