Students
My current and former students, with a short blurbs of their research topics or the titles of their dissertations.
PhD Students
Hung-Chun Yu, co-advised by Adeel Kahn
Arash Karimi
Milind Gunjal, Monoidal 2-Categories and K-Theory of Waldhausen Categories (PhD Summer 2025)
Michael Niemeier, Central Extensions of Simplicial Groups and Presheaves of Simplicial Groups (PhD Summer 2020)
Yaineli Valdes, The 1-Type of \(K\)-Theory of Waldhausen categories as a Multifunctor (PhD Spring 2018)
Ivan (Gregory) Dungan, n-Butterflies: modeling weak morphisms of strict n-groups (PhD Spring 2014)
A. Emin Tatar, On Picard 2-stacks and length 3-complexes of abelian sheaves (PhD Summer 2010)
Undergraduate Students (Honors in the Major)
Robed Beauvile, Homotopy Type Theory, Univalent Foundation, and Binary Trees (Spring 2017)
Daniel Fuentes-Keuthan, Triangulated structures on stable derivators (Spring 2016).
Lawrence Dunn, An overview of Homotopy Type Theory and Univalent Foundations of Mathematics (Spring 2014)
Vanessa Radzimski, Tame symbols and reciprocity laws in number theory and geometry (Spring 2012)