[my photo]   

Dr. Hab. Frédéric BLANQUI

INRIA permanent full-time researcher

Project Deducteam

[logo LSV] Laboratoire Spécification et Vérification

   [logo INRIA]

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


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


Teaching:


Events:


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: frederic . blanqui (a) inria . fr
How to come?
[logo ENS Paris-Saclay]

Statcounter W3C Validator Last updated on 6 October 2017. Come back to main page.