斯蒂芬·科尔·克莱尼（，）美国数学家、逻辑学家，主要从事对可计算函数的研究，而他的递归理论研究有助于奠定理论电脑科学的基础。他为数学直觉主义的基础做出了重要贡献，克莱尼层次结构、克莱尼代数、克莱尼星号（克莱尼闭包）、克莱尼递归定理和克莱尼不动点定理数学概念以他的名字命名。他也是正规表示法的发明者。
生平.斯蒂芬·科尔·克莱尼出生于美国康涅狄克州的哈特福德。他的父亲古斯塔夫·克莱尼（Gustav Adolph Kleene）是一位经济学教授，母亲艾丽丝·科尔（Alice Lena C