Elindította a 20. század második felének informatikai forradalmát. Jelentősek halmazelméleti és a kvantummechanikai kutatásai. Kiemelkedő érdemeket szerzett az elektronikus számítógépek logikai tervezésében a kettes számrendszer alkalmazásával.