Students
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, PhD candidate. KTheory, higher categories.

Yaineli Valdes, PhD Spring 2018.
Dissertation: The 1Type of KTheory for Waldhausen categories as a Multifunctor.

Ivan (Gregory) Dungan, PhD Spring 2014.
Dissertation: nButterflies: modeling weak morphisms of strict ngroups.

A. Emin Tatar, PhD Summer 2010.
Dissertation: On Picard 2stacks and length 3complexes of abelian sheaves.
Undergraduate Students (Honors in the Major)

Robed Beauvile, Spring 2017.
Dissertation: Homotopy Type Theory, Univalent Foundation, and Binary Trees.

Daniel FuentesKeuthan, 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.