David Roe

Papers

• A Presentation of the Absolute Galois Group of ℚ₂ with David Corneliu TurtureanPreprint
• Distinguished defining polynomials for extensions of p-adic fields with Jordi Guàrdia, John Jones, Kevin Keating, Sebastian Pauli, David RobertsAccepted to ANTS XVII
• Ordinary abelian varieties: isogeny graphs and polarizations with Edgar Costa, Taylor Dupuy, Stefano Marseglia, Christelle VincentAccepted to ANTS XVII

Talks

• LMFDB: Past, Present and Future Bridging Lean and the LMFDB · Jun 29, 2026
• Building mathematical databases Machine Computation in Homotopy Theory · Jun 24, 2026
• Malle's conjecture in the LMFDB Number Field Counting in the LMFDB · Jun 9, 2026
• p-adic fields in the LMFDB Bayou Arithmetic Research Day 6 · Nov 7, 2025
• The L-functions and Modular Forms DataBase code4math Grand Opening Symposium · Sep 15, 2025
• Incubating Mathematical Databases Lucant 2025 · Jul 7, 2025

Conferences

Upcoming

• Simons Foundation MPS annual meeting October 15-16, 2026 · Simons, New York, NY
• K3 Surfaces over finite fieldsorganizer October 19-23, 2026 · ICERM, Providence, RI
• Bridging the LMFDB and Leanorganizer January 25-29, 2027 · MIT, Cambridge, MA

Recent

• ANTS XVII July 6-10, 2026 · University of Groningen, Netherlands
• Bridging Lean and the LMFDBspeaker June 29-July 3, 2026 · University of East Anglia, Norwich, UK

Software

• LMFDB active 2008-2026 · 3,332 commits
• SageMath active 2006-2026 · 696 commits
• researchseminars.org active 2020-2025 · 378 commits

Teaching

• 18.782 - Arithmetic Geometry Massachusetts Institute of Technology · Fall 2020
• p-adic Independent Study Massachusetts Institute of Technology · Spring 2019

Students

I am happy to supervise MIT undergraduates through UROP. Topics include algorithms in computational number theory, contributions to open source software and the LMFDB, machine learning on number theoretic data, and formalization in Lean's Mathlib.