Academic Lineage

• Me — Rajeev Alur — David Dill — Edmund Clarke — Robert Constable — Stephen Kleene — Alonzo Church

At this point the lineage diverges from computer science into math: to Oswald Veblen, then E. H. Moore, then H. A. Newton, then Michel Chasles, then Siméon Poisson, who had two advisors, Joseph-Louis Lagrange and Pierre-Simon Laplace.

The full genealogy can be explored here.

Erdős Number

My Erdős number is 3. The following is a path of length 3:

• Me — Nikolaj Bjørner — Andreas Blass — Paul Erdős

PGP Key

See PGP key.