Muller, MIchael J., IBM Research, United States