Virgile Mogbil

Maître de conférences classe normale, habilité à diriger les recherches.
27ème section du CNU - Institut du CNRS : INS2I (Sciences Informatiques et leurs Interactions).


Research interests: Mathematical logic, proof and type theory, lambda calculi, models and complexity of concurrent systems, implicit computational complexity, subpolynomial complexity.


Equipe Logique, Calcul et Raisonnement, Bureau A207
Laboratoire d'Informatique de l'Université Paris Nord, UMR CNRS 7030
Institut Galilée - Université Paris 13
99, Avenue Jean - Baptiste Clément
93430 Villetaneuse, France

Tél. : +33 1 49 40 36 84
Email : prenom.nom [At} lipn.univ-paris13.fr