Hugo Krawczyk, IBM, Thomas J. Watson Research Center