Pôle Équipe thématique Algorithmes et complexité Équipe thématique Combinatoire Équipe-projet INRIA GANG Équipe thématique Systèmes complexes, réseaux, calcul distribué Équipe thématique Théorie et algorithmique des graphes Algorithmes et structures discrètes Responsable Laurent Viennot Thèmes de recherche Les équipes thématiques confèrent au pôle une vision complète de l’algorithmique : modélisation, conception, analyse. Les problématiques dont elles se saisissent concernent: Les fondements de l’algorithmique et de ses structures de données Les nouvelles problématiques issues des technologies émergentes ou encore dues au traitement des grandes masses de données, centralisées ou non L’application de l’approche algorithmique et des outils combinatoires à la compréhension d’autres disciplines, au-delà du traitement de données issues de ces mêmes disciplines Les interactions entre les équipes thématiques du pôle se trouvent au cœur de trois grands centre d'intérêts communs: algorithmes, probabilités et graphes. Ces interactions portent entre autres sur les graphes aléatoires, les graphes et systèmes complexes venant de la biologie, les algorithmes efficaces, les algorithmes distribués, les réseaux et algorithmes pour les graphes. Des interactions avec les deux autres pôles sont entretenues comme par exemple à travers la réécriture et combinatoire algébrique, les algorithmes pour les bases de données, les systèmes biologiques complexes, la vérification des systèmes distribués, la combinatoire des mots et dynamique symbolique. Les objectifs scientifiques du pôle Algorithmes et Structures Discrètes sont autour de la conception des algorithmes, de leur optimisation et de leur analyse. Pour cela, il faut une connaissance fine des structures combinatoire impliquées dans ces algorithmes. Le pôle se saisit de défis fondamentaux de l’informatique théorique mais aussi de ceux issus de situations réelles (réseaux, bases de données) et d’interactions avec les autres sciences (mathématiques, physique et biologie). Voici quelques exemples de projets représentatifs mais non exhaustifs du pôle : Informatique quantique (Fédération PCQC, ERC QCC) Combinatoire des cartes et leur interaction (Projet Emergences, ERC CombiTop) Systèmes biologiques complexes (ERC DBA) Algorithmique des réseaux (Projet INRIA Gang) Méthodes formelles pour la conception d’algorithmes distribués (ANR FREDDA) Homomorphismes de graphes signés (ANR HOSIGRA) Permanents Nom@TéléphoneBureauFonctionPôleÉquipe Berthé Valérie @ 01 57 27 93 35 4014 Directeur.rice de recherche - CNRS ASV , ASD automates , combi Boufkhad Yacine @ 01 57 27 94 05 4011 Maître.sse de conférence ASD compsys , gang Chapuy Guillaume @ 01 57 27 94 04 4012 Chargé.e de recherche - CNRS ASD combi , graphes Charbit Pierre @ 01 57 27 92 24 4030 Maître.sse de conférence ASD gang , graphes Corteel Sylvie @ 4012 Directeur.rice de recherche - CNRS ASD combi Crescenzi Pierluigi @ 01 57 27 92 16 3048 Professeur.e ASD compsys , graphes De-Rougemont Michel @ 01 57 27 94 48 4041 Professeur.e - Université Paris 2 ASD algocomp Delcroix-Oger Berenice @ 01 57 27 92 45 3041 Maître.sse de conférence PPS , ASD algebre , combi Delporte Carole @ 01 57 27 92 25 4006 Professeur.e - directrice adjointe UFR informatique ASD gang , compsys Duchi Enrica @ 01 57 27 92 33 4044 Maître.sse de conférence ASD combi Fauconnier Hugues @ 01 57 27 92 25 4006 Professeur.e - directeur de l'UFR informatique ASD gang , compsys Fraigniaud Pierre @ 01 57 27 92 60 4019 Directeur.rice de recherche - CNRS ASD algocomp , compsys , gang Frougny Christiane @ 01 57 27 94 41 4027 Professeur.e émérite - Université Paris 8 ASV , ASD automates , combi Habib Michel @ 01 57 27 94 42 3042a Professeur.e émérite ASD gang , compsys , graphes Kempe Julia @ Directeur.rice de recherche - CNRS (en disponibilité) ASD algocomp Kerenidis Iordanis @ 01 57 27 92 63 4025 Directeur.rice de recherche - CNRS ASD algocomp Korman Amos @ 01 57 27 94 06 4028 Directeur.rice de recherche - CNRS ASD compsys , algocomp Kosowski Adrian @ 01 57 27 94 05 4011 Chargé.e de recherche - INRIA ASD gang , compsys Krivine Jean @ 01 57 27 93 38 4026 Chargé.e de recherche - CNRS ASD , PPS compsys , preuves , systemes Laplante Sophie @ 01 57 27 94 47 4040a Professeur.e ASD algocomp Lovejoy Jeremy @ 4038 Chargé.e de recherche - CNRS ASD combi Magniez Frédéric @ 01 57 27 94 02 4005 Directeur.rice de recherche - CNRS ASD algocomp Mantaci Roberto @ 01 57 27 92 62 4047 Maître.sse de conférence ASD combi Mathieu Claire @ 01 57 27 94 39 4009 Directeur.rice de recherche - CNRS ASD algocomp Micheli Anne @ 01 57 27 94 38 4038 Maître.sse de conférence ASD combi Naserasr Reza @ 01 57 27 92 24 4030 Chargé.e de recherche - CNRS ASD graphes Perifel Sylvain @ 01 57 27 92 29 4017 Maître.sse de conférence ASV , ASD automates , algocomp Poulalhon Dominique @ 01 57 27 94 38 4038 Maître.sse de conférence ASD combi Ravelomanana Vlady @ 01 57 27 94 44 3025 Professeur.e ASD combi , graphes Rosén Adi @ 01 57 27 94 40 4013 Directeur.rice de recherche - CNRS ASD algocomp Santha Miklos @ 01 57 27 94 03 4024 Directeur.rice de recherche - CNRS ASD algocomp Steiner Wolfgang @ 01 57 27 92 33 4044 Chargé.e de recherche - CNRS ASV , ASD automates , combi Viennot Laurent @ 01 57 27 92 50 3016 Directeur.rice de recherche - INRIA ASD gang , compsys , graphes Xiao David @ Chargé.e de recherche - CNRS (en disponibilité) ASD algocomp de Montgolfier Fabien @ 01 57 27 92 32 4018 Maître.sse de conférence ASD gang , compsys , graphes Non-permanents Nom@TéléphoneBureauFonctionPôleÉquipe Andriambolamalala Ny-Aina @ 01 57 27 92 52 4057 Doctorant.e ASD combi Behr Nicolas @ 01 57 27 92 21 4058 Post-Doctorant.e PPS , ASD algebre , systemes , preuves , compsys Bergougnoux Benjamin @ 4053 ATER ASD graphes Blanchard Nicolas @ 3010 Doctorant.e ASD compsys , graphes Collet Simon @ 3010 Doctorant.e ASD algocomp , compsys , gang Dolce Francesco @ 4053 ATER ASV , ASD automates , combi Douvropoulos Theodosios @ 4058 Post-Doctorant.e ASD combi Dovgal Sergey @ 3010 Doctorant.e ASD combi El-Joubbeh Mohamad @ Doctorant.e ASD graphes Guinard Brieuc @ 4060 Doctorant.e ASD algocomp Hamoudi Yassine @ 4031 Doctorant.e ASD algocomp Haxell Penny @ 4029 Visiteur.euse ASD graphes Humbert Abel @ Stagiaire ASD combi Husson Adrien @ 01 57 27 92 22 3035 Doctorant.e PPS , ASD systemes , preuves , compsys Josuat-Verges Matthieu @ 01 57 27 92 41 4008b Membre associé.e - CR CNRS ASD combi Konan Isaac @ 4059 Doctorant.e avec mission d'enseignement ASD combi Landman Jonas @ 4059 Doctorant.e ASD algocomp Lionni Luca @ 3018 Post-Doctorant.e ASD combi Louf Baptiste @ 4057 Doctorant.e ASD combi Luongo Alessandro @ 4059 Doctorant.e ASD algocomp Marzouk Cyril @ 4058 Post-Doctorant.e ASD combi Mauras Simon @ 4031 Doctorant.e ASD algocomp Mitsou Valia @ 01 57 27 92 36 4053 ATER ASD graphes Nehai Zeinab @ Doctorant.e ASV , ASD verif , compsys Nguyen-Dinh Vu @ Stagiaire ASD combi Nolin Alexandre @ 01 57 27 92 31 4055 Doctorant.e avec mission d'enseignement ASD algocomp Nunge Arthur @ 4055 ATER ASD combi Paz Ami @ 3010 Post-Doctorant.e ASD compsys , algocomp Planche Leo @ 4053 ATER ASD graphes Prakash Anupam @ 4058 Post-Doctorant.e ASD algocomp Rabie Mikael @ 3010 Post-Doctorant.e ASD compsys Schabanel Nicolas @ 01 57 27 92 41 4008b Membre associé.e - DR CNRS ASD compsys , graphes Shen Yixin @ 4031 Doctorant.e ASD algocomp Singh Alex @ Visiteur.euse ASD algocomp Sunny Anupa @ Doctorant.e ASD algocomp Szilagyi Daniel @ Stagiaire ASD algocomp Vacus Robin @ Stagiaire ASD compsys , algocomp Vallee Brigitte @ 01 57 27 92 41 4008b Membre associé.e - DR CNRS émérite ASD combi Wang Zhouningxin @ 4031 Doctorant.e ASD graphes Xu Rongxing @ 4057 Doctorant.e ASD graphes Zou Mengchuan @ 4057 Doctorant.e ASD gang , compsys , graphes Zwick Uri @ 01 57 27 92 20 4048 Visiteur.euse ASD algocomp