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 Wisconsin-Madison 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 Lambda-Conversion 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

Co-founder of the calculus with Newton



Simeon Denis Poisson

Ph.D. École Polytechnique 1800

Poisson distribution






Academic Family Tree