顿海军研究实验室的专案主任。克莱尼1946年回到威斯康辛州，1948年成为正教授，1964年成为“Cyrus C. MacDuffee”数学教授。他于1962年到1963年担任数学与计算机科学系，1969年到1974年担任文学院与科学院院长。尽管当时的越南战争引起了学生们的不安，但他还是接受了后者的任命。他于1979年从威斯康辛大学退休。1999年，威斯康辛大学的数学图书馆以他的荣誉而更名。克莱尼在威斯康辛州的教学产生了3篇关于数学逻辑的文章，一篇发表于1952年，一篇发布于1967年，还有一篇和Ves