McCarthy var en av grundarna av forskningsområdet artificiell intelligens och spelade en central roll i dess tidiga problemformuleringar. Han konstruerade i slutet av 1950-talet språket Lisp, som har haft stort teoretiskt och praktiskt inflytande över utvecklingen av programspråk för datorer. Han gav även viktiga bidrag till beräkningsteori och ickemonoton logik.