María Inés de Frutos-Fernández

Postdoctoral Researcher in Mathematics at the University of Bonn.

prof_pic.jpg
midff@math.uni-bonn.de

I am María Inés, a postdoctoral researcher at the University of Bonn, working in the workgroup on Formal Mathematics led by Floris van Doorn. Previously, I worked as a Margarita Salas Postdoctoral Researcher at Universidad Autónoma de Madrid (with Daniel Macias Castillo) and as a Research Associate at Imperial College London, in Kevin Buzzard’s’s research group. Before joining Imperial College, I worked as an Assistant Professor (Profesor Ayudante Doctor) at Universidad Nebrija. I earned my PhD in Mathematics from Boston University in 2020, under the supervision of Jared Weinstein.

My main research interests are mathematical formalization and number theory.

Here is my CV.

Last updated: 4 November 2024.

Selected Publications

  1. CPP
    A Formalization of Complete Discrete Valuation Rings and Local Fields
    María Inés de Frutos-Fernández, and Filippo A. E. Nuccio Mortarino Majno di Capriglio
    In Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs 2024
  2. LIPIcs
    Formalizing Norm Extensions and Applications to Number Theory
    María Inés de Frutos-Fernández
    In 14th International Conference on Interactive Theorem Proving (ITP 2023) 2023
  3. arXiv
    The refined class number formula for Drinfeld modules
    María Inés de Frutos-FernándezDaniel Macías Castillo, and Daniel Martínez Marqués
    2023
  4. JTNB
    Moduli Spaces of Shtukas over the Projective Line
    María Inés de Frutos-Fernández
    Journal de théorie des nombres de Bordeaux 2022
  5. LIPIcs
    Formalizing the Ring of Adèles of a Global Field
    María Inés de Frutos-Fernández
    In 13th International Conference on Interactive Theorem Proving (ITP 2022) 2022