Research
I have active research programs in:
- algebraic topology, specifically
- equivariant stable homotopy theory,
- algebraic K-theory and trace methods, and
- Thom spectra and orientations.
- computational (applied) algebraic topology, specifically
- foundations of topological data analysis,
- statistics on the the metric space of phylogenetic trees, and
- applications to genomics.
- computer security and privacy, specifically
- verifiable outsourced computation and
- locational privacy preserving protocols.