Here is a list of my current and former students, with a short blurbs of their research topics or the titles of their dissertations.
Current and former PhD Students
Michael Niemeier, \(K\)-Theory, higher categories.
Yaineli Valdes, PhD Spring 2018.
Dissertation: The 1-Type of \(K\)-Theory of Waldhausen categories as a Multifunctor.
Ivan (Gregory) Dungan, PhD Spring 2014.
Dissertation: n-Butterflies: modeling weak morphisms of strict n-groups.
A. Emin Tatar, PhD Summer 2010.
Dissertation: On Picard 2-stacks and length 3-complexes of abelian sheaves.
Undergraduate Students (Honors in the Major)
Robed Beauvile, Spring 2017.
Dissertation: Homotopy Type Theory, Univalent Foundation, and Binary Trees.
Daniel Fuentes-Keuthan, Spring 2016.
Dissertation: Triangulated structures on stable derivators.
Lawrence Dunn, Spring 2014.
Dissertation: An overview of Homotopy Type Theory and Univalent Foundations of Mathematics.
Vanessa Radzimski, Spring 2012.
Dissertation: Tame symbols and reciprocity laws in number theory and geometry.