Assia Mahboubi
Research interests
My research area is 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. I am an intensive user of
the Coq proof assistant and lead developer of the
Mathematical Components libraries.