Vincent Penelle

Curriculum Vitæ :

Télécharger le Curriculum Vitæ en français, en anglais.
CV_francais

Vincent PENELLE

Adresse : 390 rue de Bègles
33800 Bordeaux, France
Téléphone : 06 31 30 63 80
Courriel: vincent.penelle@u-bordeaux.fr
Français
Né le 24 février 1988 (29 ans)
site : http://www.labri.fr/perso/vpenelle

Emploi actuel


Maître de conférence au LaBRI (université de Bordeaux), équipe Méthodes Formelles. Je participe à l’ANR BraVAS, et suis également proche des thèmes de l’ANR Delta.

Je m’intéresse à la théorie des automates, la théorie des langages, la vérification formelle et la théorie des graphes infinis. J’ai déjà travaillé sur la sémantique avec origine des streaming transducers, la décidabilité de logiques sur les mots (variantes de MSO et FO), les systèmes de réécriture d’arbres de piles, les traces de systèmes à compteurs, et les constraint dynamic networks, problèmes qui m’intéressent toujours.


Emplois précédents


2016–2017 : Post-doctorant à l’institut d’informatique de l’Université de Varsovie, dans le projet «A unified theory of finite state recognisability», mené par Mikołaj Bojanczyk
Février–Juin 2016 : Visite de recherche avec Matthew Hague, Royal Holloway, University of London
2015–2016 : demi-ATER dans l’équipe Algorithmique. LIGM, UPEM
2012–2015 : Allocataire moniteur normalien dans l’équipe Algorithmique, LIGM, UPEM
2008–2012 : Élève normalien, ENS Cachan

Éducation


2012–2015 : Thèse de doctorat sous la direction de Didier Caucal et d’Antoine Meyer. LIGM, UPEM
2011–2012 : Stage de recherche sous la direction de Didier Caucal et d’Antoine Meyer. LIGM, UPEM.
2010–2011 : 2ème année du Master Parisien de Recherche en Informatique (MPRI) (mention bien). ENS Cachan (normalien).
2009–2010 : 1ère année du Master Parisien de Recherche en Informatique (MPRI) (mention très bien). ENS Cachan (normalien)
2008–2009 : Licence de mathématique de l’ENS Cachan (mention bien) et licence d’informatique de l’ENS Cachan (mention très bien). Normalien.
2006–2008 : Classe préparatoires, MPSI - MP* au Lycée Michel Montaigne (Bordeaux). Reçu à l’ENS de Cachan.
2006 : Baccalauréat scientifique, spécialité mathématiques (mention très bien) au Lycée de l’Image et du son (Angoulême).

Détails de la thèse


Titre : Réécriture d’arbres de piles et traces de systèmes à compteurs
Directeurs : Didier Caucal et Antoine Meyer
Laboratoire : LIGM, Université Paris-Est, Marne-la-vallée
Soutenance : 20 novembre 2015
Mention : L’UPEM ne délivre pas de mention
Jury :
Marie-Pierre Béal,Didier Caucal,
Thomas Colcombet,Jérôme Leroux,
Christof Loeding (Rapporteur),Antoine Meyer
Géraud Sénizergues (Rapporteur).

Publications


Dans un journal avec comité de relecture

[1]
Vincent Penelle. Rewriting higher-order stack trees. Theory Comput. Syst., 61(2):536–580, 2017.

Dans une conférence internationale avec comité de relecture

[2]
Mikołaj Bojańczyk, Laure Daviaud, Bruno Guillon, and Vincent Penelle. Which classes of origin graphs are generated by transducers. In 44th International Colloquium on Automata, Languages, and Programming, ICALP 2017, July 10-14, 2017, Warsaw, Poland, pages 114:1–114:13, 2017.
[3]
Vincent Penelle. Rewriting higher-order stack trees. In Lev D. Beklemishev and Daniil V. Musatov, editors, CSR, volume 9139 of Lecture Notes in Computer Science, pages 364–397. Springer, 2015. Best Student Paper Award.
[4]
Jérôme Leroux, Vincent Penelle, and Grégoire Sutre. The context-freeness problem is conp-complete for flat counter systems. In Franck Cassez and Jean-François Raskin, editors, ATVA, volume 8837 of Lecture Notes in Computer Science, pages 248–263. Springer, 2014.
[5]
Jérôme Leroux, Vincent Penelle, and Grégoire Sutre. On the context-freeness problem for vector addition systems. In LICS, pages 43–52. IEEE Computer Society, 2013.

Exposés



Autres activités de recherche



Enseignement avant 2017 (364h)




Ce document a été traduit de LATEX par HEVEA