尼闭包）、克莱尼递归定理和克莱尼不动点定理数学概念以他的名字命名。他也是正规表示法的发明者。
生平.斯蒂芬·科尔·克莱尼出生于美国康涅狄克州的哈特福德。他的父亲古斯塔夫·克莱尼（Gustav Adolph Kleene）是一位经济学教授，母亲艾丽丝·科尔（Alice Lena Cole）是一位诗人。克莱尼于1930年在阿默斯特学院获得学士学位，于1934年在普林斯顿大学获得数学博士学位。他的导师阿隆佐·邱奇是着名的逻辑学家。丘奇在1936年使用lambda演算来证明了判定问题是