Direct lineage
David Basin, Doctorate from Cornell University in 1989
Bob Constable, Doctorate from University of Wisconsin in 1968
Stephen Kleene, Doctorate from Princeton University in 1934
Alonzo Church, Doctorate from Princeton University in 1927
Oswald Veblen, Doctorate from University of Chicago in 1903
Eliakim Hastings Moore, Doctorate from Yale University in 1885
Hubert Anson Newton, Doctorate from Yale University in 1850
Michel Chasles, Doctorate from Ecole Polytechnique in 1814
Simeon Denis Poisson, Doctorate from Ecole Polytechnique, ?
Joseph Louis Lagrange, (No Degree)
Other relatives
Brothers: Ed Clarke, Kurt Mehlhorn
Uncle: Yiannis Moschovakis
Great Uncles: Martin Davis, Michael Rabin, Hartly Rogers,
Dana Scott, Raymond Smullyan, Alan Turing
Ph.D. Students
Seán Matthews, University of Edinburgh, 1992 (co-supervised)
Ina Kraan, University of Edinburgh, 1994 (co-supervised)
Ian Frank, University of Edinburgh, 1995 (co-supervised)
Luca Viganò, University of Saarbrücken, 1997
Abdelwaheb Ayari, University of Freiburg, 2003
Torsten Lodderstedt, University of Freiburg, 2004
Felix Klaedtke, University of Freiburg, 2004
Sebastian Mödersheim, ETH Zurich, 2006
Achim Brucker, ETH Zurich, 2007
Paul Sevinç, ETH Zurich, 2007
Diana von Bidder, ETH Zurich, 2007
Paul Hankes Drielsma, ETH Zurich, 2007
Boris Köpf, ETH Zurich, 2007
Manuel Hilty, ETH Zurich, 2007
Michael Wahler, ETH Zurich, 2008
Samuel Müller, ETH Zurich, 2009
Daniel Fischer, University of Luxembourg, 2010 (co-supervised)
Patrick Schaller, ETH Zurich, 2010
Christian Dax, ETH Zurich, 2010
Mario Frank, ETH Zurich, 2011
Matthias Schmalz, ETH Zurich, 2012
Samuel Burri, ETH Zurich, 2012
Erdös Number 3
David Basin -> Matt Kaufmann -> Michael Makkai -> Paul Erdös
David Basin -> Dov M. Gabbay -> Sharon Shelah -> Paul Erdös