category theorist, working mathematician

I am a Professor in the Department of Mathematics at Johns Hopkins University working on higher category theory and homotopy type theory.

I run the Johns Hopkins Category Theory Seminar and am a co-organizer of the Homotopy Type Theory Electronic Seminar Talks. I was both an organizer and lecturer for the HoTTEST Summer School, the archives of which can now be found on GitHub and on YouTube.

I am a co-host of the n-Category Café and was a founding board member of Spectra.

I serve on the editorial boards for Homology, Homotopy, and Applications, Mathematical Logic Quarterly, and the Bulletin of the AMS. In the past, I have severed as an editor at Cahiers de Topologie et Géométrie Différentielle Catégoriques, Journal of Homotopy and Related Structures, and the Journal of Pure and Applied Algebra.

There is a fairly large cohort of PhD students at Johns Hopkins who are interested in category theory, abstract homotopy theory, homotopy type theory, and related topics. If you are interested in joining us, more information about graduate admissions can be found here.