Assia Mahboubi (original) (raw)

I am a tenured researcher (directrice de recherche) at Inria, in the Gallinette team, Nantes, France. I am also an endowed professor in theAlgebra and Number Theory section of the Vrije Universiteit Amsterdam, in the Netherlands.

My research interests revolve around the foundations and formalization of mathematics in type theory and the automated verification of mathematical proofs. In particular, I am interested in the new insights that one often gets on familiar mathematical objects when looking for their most adequate formal representation for the purpose of computer-aided proof checking. I also have a special interest for the interplay between computer algebra and formal proofs, and more generally for computer-aided mathematics. I am a happy, intensive user of the Coqinteractive proof assistant, and a lead developer of the Mathematical Components libraries.

I have obtained an ERC Consolidator grant for the FRESCO (Fast and Reliable Symbolic Computation) project. See the webpage of the project.

Contents: News ⋅Team ⋅Publications ⋅Teaching ⋅Videos ⋅Beyond the Lab ⋅Contact ⋅Resume

News

• We will have a Xmas Type Theory fest on December 20th!
• Martin Baillon will defend his PhD on December 21st.
• Enzo Crance has defended his PhD on December 19st. Congrats!
• I have given a talk at the Intercity number theory seminar in Amsterdam on Dec. 15th.
• I have given a talk at the Sci-Rennes seminar on December 11th.
• A first-order theory of diagram chasing has been accepted for publication at the proceedings of CSL 2024.

Team

PhD students:

• Enzo Crance (PhD candidate, automation for interactive theorem provers, co-supervisor: Denis Cousineau)
• Martin Baillon (PhD candidate, syntactic models of type theory and continuity principles, co-supervisor: Pierre-Marie Pédrot)

Postdoc:

• Matthieu Piquerez

Publications

My publications are listed and archived on HAL. My DBLP page is here.

Teaching

• Hereis the web page of the course "Machine-Checked Mathematics" at the Vrije Universiteit Amsterdam.
• I taught an introductory course to Coq at the Coq Andes Summer School, in San José del Maipo, Chile.

Videos

• Mathématiques assistées par ordinateur, Collège de France, 2018.
  Link

Beyond the Lab

• Pièces à pédales, a series of plays by Alessandro Bosetti, création dans le cadre du festival Instants Fertiles#9 de la scène Athenor à St Nazaire.
• C.H.A.T.S: Art & Science workshops with the Athenor national theater.
  Year-long projects with kids in Nantes, Artists-in-residence at GMEA in Pau
• Machine-checked mathematics, Nieuw Archief voor Wiskunde, 5/17 (3), 2016. In The Best Writing on Mathematics 2017's Notable Writings list.
  Link
• On logic, language and proofs, article (in French) in Math Langages Express bulletin.
  Link
• Un ordinateur pour vérifier les preuves mathématiques, article (in French) for the partnership Image des mathématiques - Séminaire Bourbaki.
  Link

Contact

Assia Mahboubi LS2N UFR Sciences et Techniques 2, rue de la Houssinière BP 92208 44322 Nantes Cedex 3 France
Email: Assia.Mahboubi [at] inria.fr