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.


Evènements

Permanents

Nom@TéléphoneBureauFonctionPôleÉquipe
Asarin Eugène @ 01 57 27 92 34 4040 Professeur.e ASV verif
Bernardi Giovanni @ 01 57 27 93 38 4021 Maître.sse de conférences ASV , PPS verif , systemes , preuves
Berthé Valérie @ 01 57 27 93 35 4014 Directeur.rice de recherche - CNRS ASV , ASD automates , combi
Bouajjani Ahmed @ 01 57 27 92 64 4023 Professeur.e ASV verif
Carton Olivier @ 01 57 27 92 54 4037 Professeur.e ASV automates
Choffrut Christian @ 01 57 27 94 45 4007 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érences ASV verif
Fortin Marie @ 01 57 27 94 00 4016 Chargé.e de recherche - CNRS ASV automates
Foughali Mohammed @ 01 57 27 94 49 4043 Maître.sse de conférences ASV verif
Frougny Christiane @ Retraité.e - Université Paris 8 ASV , ASD automates , combi
Gheerbrant Amelie @ 01 57 27 94 46 4039 Maître.sse de conférences ASV automates
Guessarian Irène @ 01 57 27 92 59 3032 Professeur.e émérite - Sorbonne Université ASV automates , verif
Habermehl Peter @ 01 57 27 92 58 3022 Maître.sse de conférences ASV automates , verif
Horn Florian @ 01 57 27 94 46 4039 Chargé.e de recherche - CNRS ASV automates , verif
Jurski Yan @ 01 57 27 94 41 4027 Maître.sse de conférences ASV verif
Laroussinie François @ 01 57 27 92 42 4034 Professeur.e ASV automates , verif
Melliès Paul-André @ 01 57 27 92 48 3023 Directeur.rice de recherche - CNRS ASV , PPS automates , algebre , preuves , picube
Perifel Sylvain @ 01 57 27 92 29 4017 Maître.sse de conférences ASV , ASD automates , algocomp
Petrisan Daniela @ 01 57 27 94 00 4016 Maître.sse de conférences ASV , PPS automates , algebre , picube
Picantin Matthieu @ 01 57 27 94 49 4043 Maître.sse de conférences PPS , ASV algebre , automates
Pin Jean-Éric @ 01 57 27 92 18 4007 Directeur.rice de recherche émérite - CNRS ASV automates
Pouly Amaury @ Chargé.e de recherche - CNRS - Currently on leave ASV automates
Sakarovitch Jacques @ 01 57 27 90 86 3032 Directeur.rice de recherche émérite - CNRS ASV automates
Schmitz Sylvain @ 01 57 27 92 16 3048 Professeur.e ASV automates , verif
Serre Olivier @ 01 57 27 94 18 4029 Directeur.rice de recherche - CNRS ASV automates
Shirmohammadi Mahsa @ 01 57 27 92 29 4017 Chargé.e de recherche - CNRS 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
Winter Sarah @ 4026 Maître.sse de conférences ASV automates
Yunès Jean-Baptiste @ 01 57 27 92 62 4047 Maître.sse de conférences ASV automates
Zielonka Wiesław @ 3015 Professeur.e émérite ASV automates
van Gool Sam @ 01 57 27 94 05 4011 Maître.sse de conférences ASV , PPS automates , algebre


Non-permanents

Nom@TéléphoneBureauFonctionPôleÉquipe
Abou-Samra Jean @ 07 82 52 98 36 Stagiaire ASV automates
Ait-El-Manssour Rida @ 4053 Post-Doctorant.e ASV verif
Aristote Quentin @ 3010 Doctorant.e ASV , PPS automates , picube
Bigeon Emmanuel @ 3018 ATER ASV verif
Biziere Clotilde @ 4059 Stagiaire ASV automates
Boutglay Wael-Amine @ 4059 Doctorant.e ASV verif
Casares Antonio @ 3042 Doctorant.e ASV automates
Cherradi El-Mehdi @ 3044 Doctorant.e ASV , PPS automates , algebre , preuves
Chouai Salim @ 4060 Visiteur.euse ASV verif
Clement Emily @ 3028 ATER ASV verif
De-Lacerda-Werneck Maria-Clara @ Stagiaire ASV , ASD automates , combi
Douéneau Gaëtan @ 3034 Doctorant.e ASV automates
Dzamonja Mirna @ 01 57 27 92 51 3047 Membre associé.e - Chercheuse projet UE ASV automates
Erlich Enzo @ Stagiaire ASV , PPS verif , algebre
Goulet-Ouellet Herman @ 4056 Post-Doctorant.e ASV , ASD automates , combi
Guillou Lucie @ 4057 Doctorant.e ASV verif
Hu Yining @ 3036 Visiteur.euse ASV automates
Idir Olivier @ 4033 Doctorant.e ASV automates
Jacobo-Inclan Bernardo @ 3035 Doctorant.e ASV verif
Jaquard Arthur @ 3044 Doctorant.e ASV automates
Kochdumper Niklas @ Post-Doctorant.e ASV verif
Larroque Emile @ Stagiaire ASV automates , verif
Libkin Leonid @ 3042 Membre associé.e ASV automates
Lopez Aliaume @ 3035 Doctorant.e ASV automates
Loulergue Erwann @ Stagiaire ASV automates , verif
Marques Jeremie @ 3028 Post-Doctorant.e ASV automates
Moreau Vincent @ 4033 Doctorant.e ASV , PPS automates , picube , algebre
Nagendra Srinidhi @ 4060 Doctorant.e ASV verif
Nosan Klara @ 4031 Doctorant.e ASV verif
Ollinger Nicolas @ 4054 Visiteur.euse ASV automates
Rabinovitch Alexander @ 4025 Visiteur.euse ASV automates
Renkin Florian @ 3028 ATER ASV automates
Rogova Alexandra @ 3035 Doctorant.e ASV automates
Roman-Calvo Enrique @ 4060 Doctorant.e ASV verif
Stietel Olivier @ 3035 Doctorant.e ASV verif
Sun Yun @ 4057 Doctorant.e ASV , ASD automates , combi
Yilmaz Deniz @ 3034 Doctorant.e ASV automates