Bonjour,

après un stage du 19 avril au 18 juillet 2010 au LIPN, dans l'équipe LCR, j'ai integré l'école doctorale Galilé afin d'y réaliser une thèse.

Vous pouvez retrouver :

• mon curriculum vitæ, in english,
• le sujet de mon stage — Réseaux de preuves booléens — dirigé par Virgile Mogbil et Paulin de Naurois,
• le sujet de ma thèse, intitulée Logique linéaire et classes de complexité sous-polynomiales et dirigée par Stefano Guerrini et Virgile Mogbil,
• et un article soumis à DICE, intitulé Sublogarithmic uniform Boolean proof nets et dont une version de travail a été déposé sur HAL. Sont également disponibles les diapositives présentant ce travail (English version here).

Vous pouvez également consulter le résumé et les transparents de mon exposé — qui reprenait les conclusions de mon stage — effectué à l'occasion des 16^èmes rencontres L.A.C..

Contact :
Clément Aubert, Équipe LCR, bureau A205
L.I.P.N. UMR CNRS 7030
Institut Galilée - Université Paris 13
99, avenue Jean-Baptiste Clément
93430 Villetaneuse, France
Tél. : 01 49 40 40 67
Courriel : aubert [Arobase] lipn.univ-paris13.fr