Vincent Balat

Bonjour !

Je suis Maître de Conférences en informatique à l'université Paris Diderot (Paris 7).

Je fais de la recherche sur les langages de programmation, et plus précisément, mes centres d'intérêts scientifiques sont notamment :

• Les langages de programmation pour le Web
• Les langages à plusieurs niveaux
• L'évaluation partielle dirigée par les types
• Les isomorphismes de types
• La logique (intuitionniste, linéaire...)