Academic Job Materials (Fall 2021)

I was on the academic job market for 2021-2022. My application materials can be found below:

• Research Statement
• Teaching Statement
• Diversity Statement

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 one of the paths of length 3:

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

PGP Key

See PGP key.