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
- Yaineli Valdes, PhD candidate. K-Theory of Waldhausen categories, Homotopy Types, Multicategories.
- Michael Niemeier, PhD candidate. K-Theory, higher categories.
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.