Generate a tailored SOP for Dr. Assia Mahboubi. Improve your application with a focused, well-structured draft.
Assia Mahboubi is a tenured researcher at Inria, leading the Gallinette team in Nantes, France. She holds an endowed professorship in the Algebra Number Theory section at Vrije Universiteit Amsterdam in the Netherlands. Her research interests focus on the formalization of mathematics, type theory, automated verification, and mathematical proofs. She explores new insights into mathematical objects and seeks adequate formal representations for computer-aided proof checking. Furthermore, Mahboubi is particularly interested in the interplay between computer algebra and formal proofs, along with broader themes in computer-aided mathematics. She is a notable user of the Rocq prover, previously known as Coq, which is complemented by Mathematical Components libraries. Mahboubi enjoys experimenting with interactive provers and is dedicated to advancing forms of computer-aided mathematics. She has obtained an ERC Consolidator grant for the FRESCO project, which aims to develop fast and reliable symbolic computation techniques. With numerous invitations to lecture and present at conferences, Mahboubi continues to contribute to the fields of formalized mathematics and automated theorem proving.
Inria • Nantes, France
Leading the Gallinette team focused on formalization and automated verification.
Vrije Universiteit Amsterdam • Amsterdam, Netherlands
Teaching and conducting research in the Algebra Number Theory section.