Matthew R. Ballard

Professor of Mathematics at USC.
Associate Director for Scientific Activities at ICARM.
Maintainer of Mathlib.
Fellow of the American Mathematical Society.

I study categorical structures, particular those arising from mirror symmetry. I am also interested in formal verification, especially of modern mathematics.

For more information about me, see my CV. For a list of my papers, please view the publications page.

Since July 2025, I have been the Associate Director for Scientific Activities at the new NSF MSRI Institute for Computer-Aided Reasoning in Mathematics, where I help to advance mathematics and the mathematical community through the use of all faces of artificial intelligence.

I am a member of the maintainer group for Mathlib, the expansive library of mathematics formalized in the Lean programming language. I always welcome a chat about how formalization, particularly Lean, can make your life better in the age of AI.

For a little of my pedagogical philosophy and experience, see my teaching page. As an extension of teaching, I take pride in mentoring researchers at all stages.

news

Aug 4, 2025 Institute for Computer-Aided Reasoning in Mathematics (ICARM)
Jul 23, 2025 FRG on multigraded commutative algebra, toric varieties, and mirror symmetry
Nov 1, 2024 Fellow of the American Mathematical Society
Jan 23, 2024 Research Professor at SLMath (formerly MSRI)
Sep 24, 2023 Mathlib maintainer

funding

Currently, my research is partially supported by the National Science Foundation DMS-2302263, DMS-2412040, and the Simons Foundation Award 708132. The work has also benefited from a membership at the Institute for Advanced Study, a Research Professsorship at the Simons-Laufer Mathematical Sciences Institute (formerly MSRI), and past funding from the NSF, the Simons Foundation, USC, and the Southeastern Conference.

selected publications

  1. arXiv
    High Frobenius pushforwards generate the bounded derived category
    Ballard, Matthew R., Iyengar, Srikanth B., Lank, Pat, Mukhopadhyay, Alapan, and Pollitz, Josh
    2023
  2. J. NC Geo.
    Kernels for noncommutative projective schemes
    Ballard, Matthew, and Farman, Blake
    J. Noncommut. Geom. 2021
  3. Ann. K-Theory
    On derived categories of arithmetic toric varieties
    Ballard, Matthew, Duncan, Alexander, and McFaddin, Patrick
    Ann. K-Theory 2019
  4. Crelle
    Variation of geometric invariant theory quotients and derived categories
    Ballard, Matthew, Favero, David, and Katzarkov, Ludmil
    J. Reine Angew. Math. 2019
  5. Pub. IHES
    A category of kernels for equivariant factorizations and its implications for Hodge theory
    Ballard, Matthew, Favero, David, and Katzarkov, Ludmil
    Publ. Math. Inst. Hautes Études Sci. 2014
  6. Invent. Math.
    Orlov spectra: bounds and gaps
    Ballard, Matthew, Favero, David, and Katzarkov, Ludmil
    Invent. Math. 2012