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, the Journal of Pure and Applied Algebra, and Mathematical Logic Quarterly.

There is a fairly large group 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.