Research

I use mathematics as a tool for studying the abilities and limitations of formal systems, which include mathematical theories, models of computation, and formal languages. Or, as described from another point of view, I use formal systems such as these to measure the complexity of mathematical ideas. My work engages with subfields such as computability theory, reverse mathematics, and computational learning theory. Find my papers and recorded talks below.

Preprints

[2] VC dimension and expressivity of real-valued transformers (with Andy Yang, Yijia Jessica Zhu, David Chiang, Peter Cholak, and Anand Pillay).

[1] Iterated jump noncomputability and compactness.

Recorded talks

[2] Finite multiples of ω, big Ramsey degrees, and Weihrauch reducibility. Given on November 24, 2025 at the Banff International Research Station during the workshop "Infinite Structural Ramsey Theory."

[1] Iterated jump noncomputability and compactness. Given on August 5, 2025 at the Erwin Schrödinger Institute (University of Vienna) during the workshop "Reverse Mathematics: New Paradigms."