Dr. Hab. Frédéric BLANQUI INRIA permanent full-time researcher Project Deducteam Laboratoire Spécification et Vérification

Research interests: rewriting, type theory, lambda-calculus, termination, logic, functional programming, proof assistants, ...

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

Teaching:

• course on rewriting techniques in the MPRI

Internship/PhD subject proposals:

• Efficient and modular higher-order rewriting
• Termination checking in Dedukti
• Proof tactics in Dedukti
• Interactive proofs with Dedukti
• Refinement in Dedukti

News:

• 13 January 2017: release of CoLoR 1.3 for Coq 8.6 thanks to Vadim Zaliva
• 3 January 2017: new version of Size-based termination of higher-order rewrite systems

Events:

• 3-6 September 2017: 2nd International Conference on Formal Structures for Computation and Deduction (FSCD), Oxford, UK.

Address:

LSV, 61 avenue du Président Wilson, 94235 Cachan Cedex, France
Office C1-09, Tel: +33 (0) 1 47 40 22 59, Fax: +33 (0) 1 47 40 75 21
Email: firstname.name@inria.fr
How to come?