# 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**,*\(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.*