category theorist, working mathematician

I am the Kelly Miller Professor of Mathematics at Johns Hopkins University working on higher category theory, homotopy type theory, and computer formalization.

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 am currently a member of the Executive Committee of the AMS Council and serve in that capacity on a number of other AMS committees.

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.