معرفی
Assia Mahboubi is a tenured researcher at Inria in the Gallinette team, Nantes, France, and an endowed professor in the Algebra and Number Theory section at Vrije Universiteit Amsterdam, Netherlands. Her work bridges formal methods, type theory, and computer-aided mathematics.
Research Interests: Her research centers on the formalization of mathematics in dependent type theory and the automated verification of mathematical proofs. She is particularly interested in the interplay between computer algebra and formal proofs, and in how formal representations enhance understanding of mathematical objects. She is a lead developer of the Mathematical Components libraries and a key user of the Coq proof assistant.
Recent Research Trends: Her recent publications focus on diagram chasing in category theory, continuity in constructive type theory, proof transfer mechanisms (e.g., Trocq), and the formal verification of advanced mathematical results such as the irrationality of ζ(3) and the unsolvability of the quintic. These works demonstrate a consistent emphasis on foundational rigor, automation, and scalability in formal proofs.
- ERC Consolidator Grant: FRESCO (Fast and Reliable Symbolic Computation)
Advising and Grants: Mahboubi supervises PhD students including Enzo Crance, Martin Baillon, and postdoc Matthieu Piquerez. She leads the FRESCO project funded by an ERC grant, supporting research in symbolic computation and formal verification.
Team Affiliation: She is a core member of the Gallinette team at Inria, which focuses on the intersection of proofs and programs, promoting the development of reliable and verifiable software and mathematical systems.
حوزههای پژوهشی
