Heiko Ludwig, IBM Research–Almaden