I’m a mathematician. My research focuses on the connections between homotopy theory, algebra, and geometry.

Some of the problems that I’ve worked on have their origins in certain areas of mathematical physics (e.g. formal deformation quantization and topological field theory.)

My research is supported by the National Science Foundation grant DMS-2305407.

I am also interested in the development of tools that combine formalization and large language models in order to aid mathematical research, specifically in the area of homotopical algebra. The role of AI in mathematics is both interesting and concerning. Please read and support the Leiden Declaration on Artificial Intelligence and Mathematics.

Here is a draft of a white paper that I’m working on. It addresses the impact of AI-assisted research and formalization on smaller public R1 universities in the US:

Preparing Mathematics Departments for AI-Assisted Research and Formalization: A Proposal for Resource-Limited Mid-Scale Public R1 Universities

Here is my CV.

My current academic appointment is: Associate Professor of Mathematics (with tenure) at the University of Nevada, Reno.

My prior appointments include a three year postdoctoral research fellowship at the Mathematics Institute of the University of Göttingen.

I received my Ph.D. in mathematics from the University of California, Riverside. My thesis was supervised by John Baez. 

Outside of doing math, I occupy my time with bicycles, cats, hiking, art, and music. My spouse is also a professor at UNR in the Department of Theatre and Dance.