María De Frutos Fernández
Postdoctoral Researcher at The University of Bonn
Bonn, North Rhine-Westphalia, Germany
Summary
🤩
Rockstar🎓
Top SchoolMaría De Frutos Fernández is a postdoctoral researcher and formal mathematics specialist based in Bonn with four years of post-PhD research experience spanning topological algebra and formalised mathematics. She holds a PhD and MA in Mathematics from Boston University (both 4.0 GPA) and dual bachelor’s degrees in Computer Science and Mathematics from Universidad Autónoma de Madrid. Her work blends deep theoretical insight with practical formalisation: at Imperial College she focused on formal mathematics and contributed to the Lean mathlib3 community by implementing topological ring/semiring instances, p-adic lemmas and localization constructions. María has progressed through academic roles across Spain, the UK and Germany, pairing teaching and research while maintaining strong open-source engagement. Colleagues value her for translating abstract algebraic concepts into verifiable code and for bringing rigorous mathematical standards to collaborative software projects.
4 years of coding experience
3 years of employment as a software developer
Bachelor's degree, Computer Science, 9.48/10, Bachelor's degree, Computer Science, 9.48/10 at Universidad Autónoma de MadridDoctor of Philosophy - PhD, Mathematics, 4.0/4.0, Doctor of Philosophy - PhD, Mathematics, 4.0/4.0 at Boston University
Github Skills (9)
ring10
topology10
proofs10
theorem-proving10
proof10
leanback10
algebra10
r10
number-theory9
Programming languages (2)
Github contributions (5)
leanprover-community/mathlib3
Aug 2021 - Jan 2023
Lean 3's obsolete mathematical components library: please use mathlib4
Role in this project:
Back-end Developer
Back-end DeveloperContributions:206 reviews, 103 commits, 50 PRs in 1 year 5 months
Contributions summary:María contributed to the mathlib3 library by adding and modifying mathematical structures and instances. Their work involved implementing topological ring and semiring instances, including those for arbitrary products. They also introduced topological localization and added lemmas related to p-adic numbers and ring theory concepts such as unique factorization domains. Furthermore, the user improved the codebase by adding new lemmas related to order theory, group topologies and finite products.
maththeorem-provingcomponents-librarymathematicsjavascript
mariainesdff/ideles
Aug 2021 - Dec 2022
Contributions:170 commits, 49 pushes, 1 branch in 1 year 4 months
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.