Heiko Ludwig, IBM Research—Almaden