[my photo]   

Dr. Hab. Frédéric BLANQUI

Research director at Inria

Project Deducteam

Chair of EuroProofNet

[logo LMF]

   [logo INRIA]

[logo EPN]


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


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


Internship/PhD/postdoc proposals:


News:


Duties:


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

Statcounter W3C Validator Last updated on 28 November 2024. Come back to main page.