I am a professor of Mathematics at Swarthmore College since 1991. I am interested in homotopy theory in general, in homotopy type theory, and in all sorts of tools for teaching college mathematics.