Vincent Penelle

Curriculum Vitæ :

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

Vincent PENELLE

Adresse : 79 rue des compagnons d’Emmaüs
16400 La Couronne, France
Téléphone : 06 31 30 63 80
Courriel: penelle@mimuw.edu.pl
Français
Né le 24 février 1988 (28 ans)
site : http://www.mimuw.edu.pl/~penelle

Emploi actuel


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.

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. Je me concentre actuellement sur la sémantique avec origine des streaming transducers et la décidabilité de logiques sur les mots (variantes de MSO et FO). J’ai déjà travaillé sur 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


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 dans l’équipe Algorithmique. LIGM, UPEM

É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.
2009–2010 : 1ère année du Master Parisien de Recherche en Informatique (MPRI) (mention très bien). ENS Cachan.
2008–2009 : Licence de mathématique de l’ENS Cachan (mention bien) et licence d’informatique de l’ENS Cachan (mention très bien)
2006–2008 : Classe préparatoires, MPSI - MP* au Lycée Michel Montaigne (Bordeaux).
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


Soumis à un journal avec comité de relecture

[1]
Vincent Penelle. Rewriting higher-order stack trees. In Lev D. Beklemishev, editor, TOCS. Springer. CSR 2015, special edition, à paraître. version journal de [5].

Dans une conférence internationale avec comité de relecture

[2]
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.
[3]
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.
[4]
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.

Soumis dans une conférence internationale

[5]
Mikolaj Bojańczyk, Laure Daviaud, Bruno Guillon, and Vincent Penelle. Which classes of origin graphs are generated by transducers? In ICALP, 2017. en soumission.


Exposés



Autres activités de recherche



Enseignement (334h)



Autres activités et responsabilités collectives



Ce document a été traduit de LATEX par HEVEA