Pôle Équipe thématique Automates et applications Équipe thématique Modélisation et vérification Automates, structures et vérification Responsable Olivier Carton 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 Séminaires Automates Vérification Séminaire en ligne One world numeration seminar Groupe de travail Logique, automates, algèbre et jeux Rencontres Automates, structures et vérification 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 Dzamonja Mirna @ 01 57 27 92 51 3047 Professeur.e - Chercheuse projet UE ASV automates 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 Sangnier Arnaud @ 01 57 27 92 58 3022 Maître.sse de conférences ASV verif 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 Van-Gool Sam @ 01 57 27 94 05 4011 Maître.sse de conférences ASV , PPS automates , algebre 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 @ 01 57 27 94 51 3015 Professeur.e ASV automates Non-permanents Nom@TéléphoneBureauFonctionPôleÉquipe Ait-El-Manssour Rida @ 4053 Post-Doctorant.e ASV verif Allombert-Goget Adam @ Stagiaire ASV verif Aristote Quentin @ 4031 Doctorant.e ASV automates Bigeon Emmanuel @ 3018 ATER ASV verif Biziere Clotilde @ 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 @ Visiteur.euse ASV verif Cirisci Berk @ 01 57 27 94 56 4033 Doctorant.e ASV verif Clement Emily @ 3028 ATER ASV verif Douéneau Gaëtan @ 3034 Doctorant.e ASV automates Goulet-Ouellet Herman @ 4056 Post-Doctorant.e ASV , ASD automates , combi Gros Basile @ Stagiaire ASV , PPS verif , systemes , preuves Guillou Lucie @ 4059 Doctorant.e ASV verif Hu Yining @ Visiteur.euse ASV automates Idir Olivier @ Doctorant.e ASV automates Jacobo-Inclan Bernardo @ Doctorant.e ASV verif Jaquard Arthur @ 3044 Doctorant.e ASV automates Libkin Leonid @ Membre associé.e ASV automates Lopez Aliaume @ 3035 Doctorant.e ASV automates 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 Nehai Zeinab @ 4059 Doctorant.e ASV , ASD verif , distribue Nosan Klara @ 4031 Doctorant.e ASV verif Ollinger Nicolas @ Visiteur.euse ASV automates Passemard Luc @ 3034 Stagiaire ASV automates Renkin Florian @ 3028 ATER ASV automates Rino Neha @ Stagiaire ASV verif Rogova Alexandra @ 3035 Doctorant.e ASV automates Rolland Julien @ 4053 Doctorant.e ASV verif Roman-Calvo Enrique @ 4060 Doctorant.e ASV verif Shalit Adrien @ Stagiaire ASV automates Stietel Olivier @ 3035 Doctorant.e ASV verif Xia Eric @ Stagiaire ASV automates