Contact:
dgonza42@nd.edu
Department of Mathematics
The University of Notre Dame
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.