S9.com / Biographies /
US logician and mathematician
founded recursion theory
developed concept of regular expression
student of Alonzo Church