María Inés de Frutos-Fernández
Postdoctoral Researcher in Mathematics at the University of Bonn.
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.