Muller, Michael, IBM Research, United States