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
site : http://www.labri.fr/perso/vpenelle

Emploi actuel


Maître de conférence au LaBRI (université de Bordeaux), équipe Méthodes Formelles. Je suis membre des ANR BraVAS et 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]
Sougata Bose, Anca Muscholl, Vincent Penelle, and Gabriele Puppis. Origin-equivalence of two-way word transducers is in PSPACE. In 38th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2018, December 11-13, 2018, Ahmedabad, India, pages 22:1–22:18, 2018.
[4]
Sougata Bose, Krishna Shankara Narayanan, Anca Muscholl, Vincent Penelle, and Gabriele Puppis. On synthesis of resynchronizers for transducers. In 44th International Symposium on Mathematical Foundations of Computer Science, MFCS 2019, August 26-30, 2019, AAchen, Germany, page To Appear, 2019.
[5]
Matthew Hague and Vincent Penelle. Constrained dynamic tree networks. In Reachability Problems - 12th International Conference, RP 2018, Marseille, France, September 24-26, 2018, Proceedings, pages 45–58, 2018.
[6]
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.
[7]
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.
[8]
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.
[9]
Vincent Penelle, Sylvain Salvati, and Grégoire Sutre. On the boundedness problem for higher-order pushdown vector addition systems. In 38th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2018, December 11-13, 2018, Ahmedabad, India, pages 44:1–44:20, 2018.


Exposés



Autres activités de recherche



Enseignement depuis 2017 (université de Bordeaux)



Enseignement avant 2017 (364h)



Ce document a été traduit de LATEX par HEVEA