Glenn Ammons, IBM Research