American mathematician and logician who made significant contributions to the theory of algorithms and recursive functions.
Kleene’s recursion theorem and the Kleene star (or Kleene closure) are fundamental concepts in formal language theory.