Pôle

Équipe thématique Automates et applications
Équipe thématique Modélisation et vérification


Responsable


Thèmes de recherche

Les activités du pôle “Automates, Structures, et Vérification” portent de manière générale sur l'étude des systèmes informatiques du point de vue de leur puissance de calcul et des propriétés de leurs comportements. Ces activités couvrent un large spectre de thèmes de recherche, allant de la théorie aux applications. Elle comprennent notamment:

  • l'étude de modèles mathématiques permettant de décrire à différent niveaux d’abstraction les comportements de différentes classes de systèmes,
  • la définition de formalismes de spécification pour exprimer et raisonner sur les propriétés des comportements de différents types de systèmes, et l’étude des liens effectifs entre différentes classes de modèles formels et de formalismes de spécification,
  • l’étude des problèmes de décision concernant différentes classes de systèmes, de modèles formels, et de propriétés, et l’étude d'approches algorithmiques permettant de résoudre de manière efficace et automatisée ces problèmes de décision,
  • le développement d'outils innovants qui implémentent ces approches, en ciblant différents types d'applications concrètes. Les applications visées concernent en particulier: les systèmes cyber-physiques, les systèmes embarqués, les infrastructures modernes systèmes et réseaux, les bases de données, etc.

Le pôle regroupe deux équipes thématiques, l'équipe “Automates et applications” et l'équipe “Modélisation et vérification”. Ces deux équipes sont proches et complémentaires, elles partagent de nombreux objets d’étude (mots, structures arborescentes, ordres, automates, logique, etc.) ainsi que les questions les concernant et les outils pour aborder ces questions (questions de décidabilité et de complexité, questions d’expressivité, étude des liens automates-logiques, model-checking, résolution algorithmique de jeux, etc.).

Les activités du pôle sont organisées en plusieurs axes de recherches transversaux aux deux équipes thématiques du pôle:

  • Structures et modèles de calcul,
  • Systèmes manipulant des données,
  • Raisonnements quantitatifs,
  • Systèmes concurrents et distribués,
  • Systèmes dynamiques appliqués à l’informatique.


Annuaire

Nom@TéléphoneBureauFonctionPôleÉquipe
Asarin Eugène @ 01 57 27 92 34 4040 Professeur.e ASV verif
Beillahi Sidi-Mohamed @ 4060 Doctorant.e ASV verif
Bernardi Giovanni @ 01 57 27 93 38 4026 Maître.sse de conférence PPS , ASV preuves , systemes , verif
Berthé Valérie @ 01 57 27 93 35 4014 Directeur.rice de recherche - CNRS ASV , ASD automates , combi
Biswas Ranadeep @ 07 69 97 44 12 4060 Doctorant.e ASV verif
Bouajjani Ahmed @ 01 57 27 92 64 4023 Professeur.e ASV verif
Bouillaguet Quentin @ 4021 Doctorant.e ASV verif
Carton Olivier @ 01 57 27 92 54 4037 Professeur.e ASV automates
Cauderlier Raphael @ 4058 Post-Doctorant.e ASV verif
Cecchi Paulina @ 3026 Doctorant.e ASV , ASD automates , combi
Choffrut Christian @ 01 57 27 92 26 4034 Professeur.e émérite ASV automates
Colcombet Thomas @ 01 57 27 94 32 3042 Directeur.rice de recherche - CNRS ASV automates
Degorre Aldric @ 01 57 27 92 32 4018 Maître.sse de conférence ASV verif
Delbianco German-Andres @ 01 57 27 94 07 4032 Post-Doctorant.e ASV verif
Dolce Francesco @ 4053 ATER ASV , ASD automates , combi
Durand Fabian @ 4008 Professeur.e ASV automates
Enea Constantin @ 01 57 27 92 41 4028a Maître.sse de conférence ASV verif
Fang Bin @ 07 68 79 02 80 4061 Doctorant.e ASV verif
Fijalkow Nathanael @ Membre associé.e ASV automates
Frougny Christiane @ 01 57 27 94 41 4027 Professeur.e émérite ASV , ASD automates , combi
Gehrke Mai @ Membre associé.e - DR CNRS ASV automates
Gheerbrant Amelie @ 4039 Maître.sse de conférence ASV automates
Grigorieff Serge @ 4027 Membre associé.e ASV automates
Guessarian Irène @ 01 57 27 92 59 4049 Professeur.e émérite ASV automates , verif
Habermehl Peter @ 01 57 27 92 58 3022 Maître.sse de conférence ASV automates , verif
Horn Florian @ 01 57 27 94 46 4039 Chargé.e de recherche - CNRS ASV automates , verif
Jeannerod Nicolas @ 01 57 27 92 22 3035 Doctorant.e avec mission d'enseignement PPS , ASV systemes , verif
Ji Kailiang @ 01 57 27 92 60 4057 Post-Doctorant.e ASV verif
Klimann Ines @ 01 57 27 94 49 4043 Maître.sse de conférence ASV automates
Lagarde Guillaume @ 01 57 27 92 31 4055 Doctorant.e ASV , ASD automates , algocomp
Laroussinie François @ 01 57 27 92 42 4004 Professeur.e ASV verif
Leena-Subramaniam Chaitanya @ 01 57 27 92 28 3034 Doctorant.e ASV , PPS automates , algebre , preuves
Long Teng @ 01 57 27 92 60 4054 Visiteur.euse ASV verif
Melliès Paul-André @ 01 57 27 92 48 3023 Directeur.rice de recherche - CNRS ASV , PPS automates , algebre , preuves
Ohlmann Pierre @ 0667368318 3035 Doctorant.e ASV automates
Osmond Axel @ 01 57 27 94 56 4060 Doctorant.e ASV , PPS automates , algebre , preuves
Perifel Sylvain @ 01 57 27 92 29 4017 Maître.sse de conférence ASV , ASD automates , algocomp
Petri Gustavo @ 01 57 27 94 01 4021 Maître.sse de conférence - (en disponibilité) ASV verif
Petrisan Daniela @ 01 57 27 92 21 4029a Membre associé.e - Post-Doctorante ASV automates
Picantin Matthieu @ 01 57 27 94 49 4043 Maître.sse de conférence PPS , ASV algebre , automates
Pin Jean-Éric @ 01 57 27 92 18 4007 Directeur.rice de recherche - CNRS ASV automates
Pommellet Adrien @ 01 57 27 92 27 4052 ATER ASV verif
Rotondo Pablo @ 4053 Doctorant.e ASV , ASD automates , combi
Sakarovitch Jacques @ 01 57 27 92 60 4054 Directeur.rice de recherche émérite - CNRS ASV automates
Sangnier Arnaud @ 01 57 27 92 58 3022 Maître.sse de conférence ASV verif
Serre Olivier @ 01 57 27 94 18 4029 Directeur.rice de recherche - CNRS ASV automates
Sighireanu Mihaela @ 01 57 27 94 01 4021 Maître.sse de conférence ASV verif
Sirangelo Cristina @ 01 57 27 92 35 4042 Professeur.e ASV automates
Steiner Wolfgang @ 01 57 27 92 33 4044 Chargé.e de recherche - CNRS ASV , ASD automates , combi
Treinen Ralf @ 01 57 27 92 44 3021 Professeur.e PPS , ASV systemes , verif
Wang Chao @ 01 57 27 94 07 4032 Post-Doctorant.e ASV verif
Yassawi Reem @ 01 57 27 92 59 4049 Membre associé.e ASV automates
Yunès Jean-Baptiste @ 01 57 27 92 62 4047 Maître.sse de conférence ASV automates
Zetzsche Georg @ 01 57 27 94 07 4032 Post-Doctorant.e ASV automates
Zielonka Wiesław @ 01 57 27 94 51 3015 Professeur.e ASV automates