Stephen Cole Kleene (* 5. Januar 1909 in Hartford, Connecticut, † 25. Januar, 1994) war ein amerikanischer Mathematiker und Logiker. Er gilt als einer der Begründer der theoretischen Informatik, besonders der formalen Sprachen und der Automatentheorie (siehe zum Beispiel Kleenesche Hülle, Lambda-Kalkül).
Kleene machte 1934 unter der Anleitung von Alonzo Church seinen Doktortitel für Mathematik an der Princeton University.