Stephen Cole Kleene
Ph.D.
Princeton University 1934
His work on recursion
theory helped to provide the foundations of theoretical computer science.


Weichang Du
Ph.D. University of
Victoria 1991


William Wilfred Wadge
Ph.D. University of California, Berkeley 1983
Wadge Degrees (Topology)


John
West Addison, Jr.
Ph.D.
University of WisconsinMadison 1955
Former chair
of Department of Mathematics, University of California, Berkeley


Alonzo Church
Ph.D.
Princeton University 1927
Church's Theorem ,
Church's Thesis, and The Calculi of LambdaConversion established the
foundations of theoretical computer science.


Alan M. Turing
Ph.D.
Princeton University 1938
Founder of
Computer Science. (Computability)
The Turing
machine,
Computing machinery and
intelligence


Gottfried Wilhelm
Leibniz
Dr. jur. UniversitÃ¤t Altdorf 1666
Cofounder of the
calculus with Newton


Simeon Denis Poisson
Ph.D. Ã‰cole Polytechnique 1800
Poisson distribution


Academic Family Tree