Paulin de Naurois 
Equipe Logique, Calcul et Raisonnement (LCR)
Theme
Logique linéaire, réseaux de preuves et applications

Paulin Jacobé de Naurois


English Version

Projet ANR COMPLICE: (Complexité Implicite, Concurrence, Extraction)


Email:

mail
Tel:
 01 49 40 44 43
 
Laboratoire d'Informatique de l'Université Paris Nord (LIPN)
UMR CNRS 7030
Institut Galilée - Université Paris-Nord
99, avenue Jean-Baptiste Clément 
93430 Villetaneuse
France


Je suis ancien élève de l'École Normale Supérieure de Lyon (1998-2002).
J'ai terminé une thèse en cotutelle entre l'INPL, à Nancy en France, et City University à Hong Kong.
Durant cette thèse, mon laboratoire d'accueil a été le LORIA, où j'ai travaillé au sein des équipes CALLIGRAMME et PROTHEO.
Mes directeurs de thèse ont été Jean-Yves Marion et Olivier Bournez à Nancy et Felipe Cucker à Hong Kong.

Aujourd'hui, je suis Chargé de Recherches CNRS au sein du département d'informatique de l'Institut Galilée de l'Université Paris-Nord. Mon laboratoire de recherche est le LIPN. J'appartiens à l'équipe Logique, Calcul et Raisonnement (LCR), où je travaille sur le thème Logique linéaire, réseaux de preuves et applications.

Recherche

Mon domaine de recherche est la théorie de la complexité. J'ai particulièrement travaillé sur des caractérisations syntaxiques de classes de complexité dans le modèle de calcul BSS sur des structures arbitraires. Je me suis également interessé au calcul BSS sur les nombres réels avec addition et ordre (cas additif), pour lequel j'ai obtenu des résultats de complétude de problèmes géométriques et topologiques simples.





Publications


Rapports de Recherche:

  • Paulin Jacobé de Naurois: Coverability in a NonFunctional Extension of BVASS. 2014. (télécharger .pdf)


Journaux:

  • Paulin Jacobé de Naurois, Virgile Mogbil: Correctness of linear logic proof structures is NL-complete. Theor. Comput. Sci. 412(20): 1941-1957 (2011)
  • Felipe Cucker, Paulin Jacobé de Naurois: Parallel Time and Quantifier Prefixes. Computational Complexity 18(4): 527-550 (2009)
  • Peter Bürgisser, Felipe Cucker, Paulin Jacobé de Naurois: The complexity of semilinear problems in succinct representation. Computational Complexity 15(3): 197-235 (2006) (télécharger .pdf)
  • O. Bournez, F. Cucker, P. Jacobé de Naurois and J.-Y.Marion, Implicit Complexity over an Arbitrary Structure: Quantifier Alternations. Information and Computation, Volume 204, Issue 2, February 2006, Pages 210-230. (télécharger .pdf)
  • O. Bournez, F. Cucker, P. Jacobé de Naurois and J. -Y. Marion, Implicit Complexity over an Arbitrary Structure: Sequential and Parallel Polynomial Time, Journal of Logic and Computations, Volume 15, February 2005, Pages 41 - 58. (télécharger .pdf)

Conférences: