Vincent Penelle

Demi-ATER au LIGM/Visite de recherche à la RHUL

image

J'effectue un demi-ATER au Laboratoire d'Informatique Gaspard Monge, à Champs-sur-Marne. Je suis actuellement en visite de recherche au département d’informatique de la Royal Holloway university of London, à Egham, ou je mène une collaboration avec Matthew Hague portant sur les extension des techniques de vérification sur des modèle d’ordre supérieur à des modèle faisant intervenir un comportement arborescent.
Je m'intéresse notamment aux graphes infinis et à leur problème de vérification de modèle, en particulier pour la classe de graphes liés aux systèmes de réécriture d’arbres de piles. Je m’intéresse également aux systèmes à compteurs et à leurs langages de traces, notamment aux systèmes à compteurs plats et aux systèmes d’addition de vecteurs. J'ai fait ma thèse au même endroit, sous la direction de Didier Caucal et d'Antoine Meyer.

Intérêts principaux :

  • Graphes infinis
  • Systèmes à compteurs
  • Vérification
  • Théorie des automates
  • Théorie des langages
  • Systèmes d’ordre supérieur

Adresse :

LIGM (UMR 8049)
Université Paris-Est
Cité Descartes
5 boulevard Descartes
Champs-sur-Marne
77454 Marne-la-Vallée Cedex 2, France

Bureau :

Bâtiment Copernic, 4B089

Téléphone :

01 60 95 75 51

Email :

penelle [AT] univ-mlv [DOT] fr