Dan Williams, IBM T. J. Watson Research Center