I'm a category theorist, with both pure and applied interests. More specifically, my current interests are as follows:

- Categorical semantics and continuous/metric model theory
- Applications of category theory/abstract homotopy theory to the constructions of topological data analysis
- Applications of category theory to systems theory, e.g. automata

**Papers**- Quantales, persistence, and magnitude homology
- Categorical semantics of metric spaces and continuous logic
- An application of continuous logic to fixed point theory
- Continuity in enriched categories and metric model theory, Ph.D. thesis, University of Pennsylvania, 2017
**Talks**- A quantalic perspective on persistent and magnitude homology, Category Theory Octoberfest, Johns Hopkins University, October 2019
- Homology parametrized by choice of quantale, MIT Categories Seminar, Massachusetts Institute of Technology, September 2019
- Categorical semantics of metric spaces and continuous logic, International Category Theory Conference, University of Edinburgh, July 2019
- Categorical semantics of metric structure, Langenhop Lecture and Mathematics Conference, Southern Illinois University, May 2019
- Weak equivalences between categories of models of type theory, Midwest Homotopy Type Theory Seminar, University of Western Ontario, May 2018
- Aspects of metric homotopy theory, Topology Seminar, University of Western Ontario, February 2018
- A category theoretic perspective on continuous logic, Logic Seminar, University of Michigan, September 2017.
- On
*On the operads of J. P. May*of G. M. Kelly, International Category Theory Conference, Vancouver, July 2017 - On a variant of continuous logic, Joint Mathematics Meetings, Atlanta, January 2017