Dr. Hab. Frédéric BLANQUI INRIA permanent full-time researcher Project Deducteam Laboratoire Méthodes Formelles

Research interests: rewriting, type theory, λ-calculus, termination, proof assistants, proof interoperability, ...

Publications  | Talks  | Software  | Teaching  | Students  | Useful links  | Homepages  | PC

Internship/PhD/postdoc proposals:

• Structured proofs in Lambdapi (L3-M1)
• Importing Logipedia proofs in Agda (M1-M2)
• Developping a standard library for Lambdapi (L3-M1)
• Encoding Agda and coinduction in Dedukti (M1-M2)
• Translating Isabelle proofs to Dedukti (M1-M2)

News:

• 3 May 2021: Some axioms for mathematics, with Gilles Dowek, Emilie Grienenberger, Gabriel Hondet and François Thiré, 18 pages, to appear in the proceedings of FSCD'21
• 19 February 2021: Encoding of Predicate Subtyping with Proof Irrelevance in the λΠ-calculus Modulo Theory, with Gabriel Hondet, 18 pages, to appear in the post-proceedings of TYPES'20
• 11 January 2021: co-director of the Paris-Saclay doctoral school of computer science in charge of the budget
• 10 December 2020: PhD defense of Guillaume Genestier on "Dependently-Typed Termination and Embedding of Extensional Universe-Polymorphic Type Theory using Rewriting"

Duties:

• Assistant director of the Paris-Saclay doctoral school of computer science in charge of the budget
• Member of the scientific committee of Inria Paris-Saclay
• Member of the steering committees of ISR, TYPES and LICS
• Workshop chair of the ACM/IEEE Symposium on Logic in Computer Science (LICS)
• PC member of the 6th International Conference on Formal Structures for Computation and Deduction (FSCD'21)
• PC member of the 13th Conference on Intelligent Computer Mathematics (CICM'21)
• PC member of the 27th International Conference on Types for Proofs and Programs (TYPES'21)

Teaching:

• Langages et Systèmes Formels à l'ENSIIE
• Rewriting Theory at the MPRI
• Préparation à l'agrégation à l'ENS Paris-Saclay

LMF, 4 avenue des Sciences, 91190 Gif-sur-Yvette, France Office 3S61, Tel: +33 (0) 1 81 87 54 35 Email: frederic . blanqui (a) inria . fr How to come? Transport - Campus