Virgile Mogbil

Associate Professor (Maitre de conférence, Habilitation à diriger les recherches)
LIPN, Paris 13 Univ. -- CNRS
Logic and Verification team (ex-LCR)


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


HdR 11/2012 Univ. Paris 13, Title: Complexité en logique linéaire, et logique linéaire en complexité implicite.
Jury: R. Amadio PU Univ. Paris 7, C. Fouqueré PU Univ. Paris 13, J.-Y. Girard DR IML CNRS, S. Ronchi Della Rocca PU Univ. Torino IT, J. Vauzeilles PU Univ. Paris 13, Reviewers: M. Hofmann PU LMU München DE, J.-Y. Marion PU Univ. Lorraine, H. Mairson PU Univ. Brandeis US.

PhD 01/2001 Univ. Méditerranée, Title: Sémantique des phases, Réseaux de preuve et problèmes de décision en Logique Linéaire.
Dir. Y. Lafont PU Univ. Méditerranée, Jury: D. Bechet MC Univ. Nantes, N. Creignou PU Univ. Méditerranée, P. De Groote DR INRIA Nancy, J.-Y. Girard DR IML, Y. Lafont PU Univ. Méditerranée, Reviewers: M. V. Abrusci PU Univ. Roma 3, P. De Groote DR INRIA Nancy.


PhD students:
-Clément Aubert, 11/2013 Title: Logique Linéaire et Classes de Complexité sous-polynomiales. Dir. V. Mogbil MC, S. Guerrini PU
-Thomas Rubiano, 12/2017 Title: Implémentations de la complexité implicite dans les compilateurs. Dir. J.-Y. Moyen MC, V. Mogbil MC
-Stefano Del Vecchio, expected-2018 Theme: Ludics and Process Algebras. Dir. V. Mogbil MC, co-tutelle M. V. Abrusci PU Univ. Roma 3


Contacts:
Equipe Logique et Vérification, 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

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

Access:
from Gare-du-Nord: Epinay-Villetaneuse stop of Transilien-line-H 9min., then Villetaneuse-Université stop of T11-line 2min.