Frédéric Blanqui

Frédéric Blanqui is a Research Professor at Inria, leading the Deducteam, Chair of EuroProofNet (a European COST action with 578 participants across 47 countries), and Assistant director of the Paris-Saclay doctoral school of computer science. He also serves on the scientific committee of Inria Paris-Saclay and the steering committee of ISR.

His research focuses on:

• Proof system interoperability
• Proof assistants
• Rewriting theory
• Type theory
• λ-calculus
• Termination

His recent work includes proof verification techniques accepted at FLAIRS'25. He developed key software tools like Lambdapi, CoLoR, and HOT, which dominated the higher-order rewriting category in the 2012 international termination competition.

Scientific awards:

• 2012 international termination competition winner in higher-order rewriting category

He has advised 19 PhD students and postdocs, including Thiago Felicissimo, Mohamed Yacine El Haddad, and Guillaume Genestier, and supervised numerous interns on projects involving proof translation, type theory, and automated verification.

Labs/teams:

• LMF (Laboratoire Méthodes Formelles)
• Deducteam
• Contributor to SimSoC-Cert and other proof assistant projects