[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, λ-calculus, termination, proof assistants, ...


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


News:


Duties:


Teaching:


Address:
LSV, 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
[logo ENS Paris-Saclay]

Statcounter W3C Validator Last updated on 29 September 2020. Come back to main page.