Han har gitt vesentlige bidrag innen informatikk og la grunnlaget for en formalisering av konseptet algoritme og databehandling, med begrepet turingmaskin, som er en modell for en generell datamaskin.