Research
I have active research programs in:
- algebraic topology, specifically
- equivariant stable homotopy theory,
- algebraic K-theory and trace methods,
- Thom spectra and orientations, and
- Floer homotopy theory.
- 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.