Gavin Dooley

I am a third-year graduate student in the Department of Mathematics at the University of Notre Dame, where I am supervised by Peter Cholak. In my research, I study the abilities and limitations of formal systems, which include mathematical theories, models of computation, and formal languages.