Assia Mahboubi

Assia Mahboubi is a tenured Researcher at Inria in France and an endowed professor at the Algebra and Number Theory section of the Vrije Universiteit Amsterdam. She works on formal verification, type theory, and computer-aided mathematics, using tools like the Rocq prover and Mathematical Components libraries.

• Research Focus: Foundations and formalization of mathematics in type theory, automated verification of mathematical proofs, interplay between computer algebra and formal proofs.
• Team: Supervises PhD candidates Vojtěch Štěpančík, Tomás Vallejos Parada, and Alain Chavarri Villarello, with former PhD students like Matthieu Piquerez and Enzo Crance.

Grants & Awards: Holds an ERC Consolidator Grant for the FRESCO project. Active in academic service as a committee member for conferences like POPL, CPP, and ICFP, and organizer of workshops like CoqPL.

• Art & Science Outreach: Collaborates with Athenor national theater on C.H.A.T.S workshops and contributes to public engagement through talks and publications.