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 Directeur.rice de recherche - CNRS ASD combi , graphes Charbit Pierre @ 01 57 27 94 07 4032 Maître.sse de conférence ASD gang , graphes Corteel Sylvie @ Directeur.rice de recherche - CNRS (en disponibilité) ASD combi Couteau Geoffroy @ 01 57 27 92 45 3041 Chargé.e de recherche - CNRS ASD algocomp Crescenzi Pierluigi @ 01 57 27 92 16 4008 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 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 Mitsou Valia @ 01 57 27 92 21 4029a Maître.sse de conférence ASD graphes Naserasr Reza @ 01 57 27 94 07 4032 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 21 4029a Maître.sse de conférence - fm 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 Bonzom Valentin @ 01 57 27 94 29 3012 Membre associé.e - MCF Univ Paris 13 ASD combi Centrone Federico @ Doctorant.e ASD algocomp Cherrat El-Amine @ Visiteur.euse ASD algocomp Douvropoulos Theodosios @ 4058 Post-Doctorant.e ASD combi Dupré Max @ 3010 Doctorant.e ASV , ASD automates , algocomp Etinski Simona @ 3010 Doctorant.e ASD algocomp Guinard Brieuc @ 4060 Doctorant.e ASD algocomp Hamoudi Yassine @ 4031 Doctorant.e ASD algocomp 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 Mansfield Shane @ 3010 Post-Doctorant.e ASD algocomp Mauras Simon @ 4031 Doctorant.e ASD algocomp Meyer Pierre @ 3044 Stagiaire ASD algocomp Mishra Suchismita @ Visiteur.euse ASD graphes Moradi Shahpoor @ Post-Doctorant.e ASD algocomp Nehai Zeinab @ 4059 Doctorant.e ASV , ASD verif , compsys Nolin Alexandre @ 01 57 27 92 31 4055 Doctorant.e avec mission d'enseignement ASD algocomp Planche Leo @ 4053 ATER ASD graphes Prakash Anupam @ 4058 Post-Doctorant.e ASD algocomp Shen Yixin @ 4031 Doctorant.e ASD algocomp Sunny Anupa @ Doctorant.e ASD algocomp Szilagyi Daniel @ 4055 Doctorant.e ASD algocomp Vallee Brigitte @ 01 57 27 92 41 4008b Membre associé.e - DR CNRS émérite ASD combi Walsh Harriet @ 4057 Doctorant.e 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