I am a tenured researcher (directrice de recherche) at Inria, in the Gallinette team, Nantes, France. I am also an endowed professor in the Algebra 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 Coq interactive 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
TeamPhD students:
Postdoc: PublicationsMy publications are listed and archived on HAL. My DBLP page is here. Teaching
Videos
Beyond the Lab
ContactAssia Mahboubi |