Dan Williams, IBM T.J. Watson Research Center