Research Associate in Mathematics, Brown University
Analytic Number Theory · AI for Mathematics

I work on analytic number theory, arithmetic quantum chaos, and artificial intelligence for mathematical reasoning.

My mathematical research concerns the distribution of automorphic forms, moments of L-functions, equidistribution, and nodal domains. My computational research explores how language models and symbolic search can work together to discover useful mathematical constructions. A recent project is BruKnot, a system that learns constructions to guide knot simplification.

Previously, I was a Tamarkin Assistant Professor at Brown University and a Visiting Assistant Professor at Stanford University. I received my Ph.D. in mathematics from McGill University in 2022, advised by Maksym Radziwiłł and Dimitris Koukoulopoulos, and my M.Sc. with distinction and B.Sc. from ETH Zurich.

Research support

My automated-reasoning research is supported by NSF AIMing award 2522850, Automated Reasoning Systems for Hyperbolic Geometry and Beyond. I served as Principal Investigator during 2025–2026 and continue to work on the project.

Contact: peter_zenz [at] brown [dot] edu