તેણે તેના સંશોધન માટે ચેકર્સની રમતનો ઉપયોગ આઈબીએમ સાથે કામ કરતી વખતે કર્યો હતો.