Michael Joseph Waddell
Ph.D. 2008 (expected)
University of Wisconsin
Madison, WI, USA

Thesis: "Toward the Development of a Collaborative Machine Learning System"

(Charles) David Page, Jr.
Ph.D. 1993
University of Illinois
Urbana, IL, USA

Thesis: "Anti-Unification in Constraint Logics"

Alan Mark Frisch
Ph.D. 1986
University of Rochester
Rochester, NY, USA

Thesis: "Knowledge Retrieval as Specialized Inference"

James F. Allen
Ph.D. 1979
University of Toronto
Toronto, ON, Canada

Thesis: "A Plan-Based Approach to Speech Act Recognition"

(Charles) Raymond Perrault
Ph.D. 1975
University of Michigan
Ann Arbor, MI, USA

Thesis: "Augmented transition networks and their relation to tree manipulation systems"

William Chesley Rounds
Ph.D. 1968
Stanford University
Palo Alto, CA, USA

Thesis: "Trees, Transducers, and Transformations"

Dana Stewart Scott
Ph.D. 1958
Princeton University
Princeton, NJ, USA

Thesis: "Convergent Sequences of Complete Theories"

Alonzo Church
Ph.D. 1927
Princeton University
Princeton, NJ, USA

Thesis: "Alternatives to Zermelo's Assumption"

Also Advisor to:
   Stephen C. Kleene
   Hilary W. Putnam
   J. Barkley Rosser, Sr.
   Alan M. Turing

Oswald Veblen
Ph.D. 1903
University of Chicago
Chicago, IL, USA

Thesis: "A System of Axioms for Geometry"

Also Advisor to:
   Harold Hotelling
   Robert L. Moore.

Eliakim Hastings Moore
Ph.D. 1885
Yale University
New Haven, CT, USA

Thesis: "Extensions of Certain Theorems of Clifford and Cayley in the Geometry of n Dimensions"

Also Advisor to:
   George D. Birkhoff

Hubert Anson Newton
B.S. 1850
Yale University
New Haven, CT, USA

Also Advisor to:
   Josiah W. Gibbs

Michel Chasles
Ph.D. 1814
École Polytechnique
Paris, France

Siméon Denis Poisson
ca. 1800
École Polytechnique
Paris, France

Also Advisor to:
   J.P. Gustav L. Dirichlet

Joseph Louis Lagrange
1754
College of Turin
Turin, Piedmont, Italy

Also Advisor to:
   Jean-Baptiste J. Fourier

Leonhard Euler
Ph.D. 1726
University of Basel
Basel, Switzerland

Thesis: "Dissertatio physica de sono"

Johann Bernoulli
M.D. 1694
University of Basel
Basel, Switzerland

Thesis: "Dissertatio Inauguralis Physico-Anatomica de Motu Musculorum"

Jacob Bernoulli
Ph.D. 1684
University of Basel
Basel, Switzerland

Thesis: "Solutionem tergemini problematis arithmetici, geometrici et astronomici"

Gottfried Wilhelm Leibnitz
J.D. 1666
University of Altdorf
Altdorf bei Nürnberg, Germany

Thesis: "Disputatio Inauguralis De Casibus Perplexis In Jure"

Joyce Barbara Friedman
Ph.D. 1965
Harvard University
Cambridge, MA, USA

Thesis: "A New Decision Procedure in Logic with a Computer Realization"

Hao Wang
Ph.D. 1948
Harvard University
Cambridge, MA, USA

Thesis: "An Economical Ontology for Classical Arithmetic"

Willard Van Orman Quine
Ph.D. 1932
Harvard University
Cambridge, MA, USA

Thesis: "The Logic of Sequences: A Generalization of Principia Mathematica"

Also Advisor to:
   Donald H. Davidson
   Daniel C. Dennett
   David K. Lewis

Alfred North Whitehead
Ph.D. 1884
Trinity College
Cambridge, England

Also Advisor to:
   Bertrand Russell

Edward John Routh
M.A. 1853
University of Cambridge
Cambridge, England

William Hopkins
M.A. 1830
University of Cambridge
Cambridge, England

Also Advisor to:
   Sir Francis Galton
   Sir George G. Stokes
   Arthur Cayley
   Lord Kelvin
   James C. Maxwell

Adam Sedgwick
M.A. 1811
University of Cambridge
Cambridge, England

Also Advisor to:
   Charles R. Darwin

Thomas Jones
M.A. 1782
Trinity College
Cambridge, England

John Crake
M.A. 1774
University of Cambridge
Cambridge, England