Stephen Kleene, alunno di Alonzo Church, insieme a Rózsa Péter, Alan Turing e altri è noto come fondatore della branca della logica matematica definita teoria della recursione; disciplina che ha contribuito a gettare le basi su cui si è successivamente sviluppata l’informatica teorica.
Ha anche inventato nel 1951 le espressioni regolari, sequenze di caratteri che specificano i criteri di ricerca di una stringa in un testo: queste espressioni sono molto utilizzate nel codice che implementa complessi algoritmi di ricerca.