Hello,

As a logician and computability theorist, I am interested in measuring the complexity in mathematics and tracking exactly what is responsible for this complexity. I am particularly interested in computable structure theory, which applies this perspective to countable mathematical structures, objects like linear orderings, Boolean algebras, and groups.

I am currently a Postdoc at the University of Notre Dame Department of Mathematics. I am being supported by a Society of Science Fellowship. I am working with and mentored by Peter Cholak.