斯蒂芬·科尔·克莱尼（Stephen Cole Kleene，1909年1月5日—1994年1月25日）是一位 美国 数学家和逻辑学家，他的递归论研究对理论计算机科学的发展起到了重要作用。他的父亲古斯塔夫·克莱尼（Gustav Adolph Kleene）是一位 经济学 教授，母亲艾丽丝·科尔（Alice Lena Cole）是一位诗人。克莱尼在阿默斯特学院获得 学士 ，并在 普林斯顿大学 获得博士学位，他的导师是逻辑学家阿隆佐·丘奇。他的研究领域包括 递归函数 、直觉主义和正规表示法等。
人物经历
克莱尼在阿默斯特学院获得学士学位，并在普林斯顿大学获得博士学位。他的博士论文题目为“形式逻辑中的正整数理论”。他的导师阿隆佐· 阿隆佐·邱奇 是逻辑学家，丘奇在1936年使用lambda演算来证明了判定问题是没有答案的。
克莱尼在 威斯康星大学 麦迪逊分校数学系工作，他在那里度过了他几乎所有的职业生涯。他为递归理论奠定了基础，这个研究领域将是他一生的研究兴趣。
在二战期间，克莱尼担任 美国海军 少校 ，他是纽约美国海军预备役军舰学校的导航教官，之后是 华盛顿哥伦比亚特区 海军研究实验室的专案主任。
个人生活
克莱尼和妻子Nancy Elliott有4个孩子。他热爱 缅因州 的家庭农场，是一名热心的登山者，对自然和环境有浓厚的兴趣，并积极参与许多环境保护事业。