@CoNRS6Comité national de la recherche scientifique
Section 6 (Mandat 2021–2026)
Sciences de l'information : fondements de l'informatique, calculs, algorithmes, représentations, exploitations
Ouverture du site de la section
21 septembre 2021
Le site de la Section 6 du Comité national de la recherche scientifique, mandat 2021–2026, est créé. Ce site est placé sous la responsabilité du président et du secrétaire scientifique de la section. Ce site n'engage pas la responsabilité du CNRS.
Le site de la Section 6 du Comité national de la recherche scientifique ne peut pas être hébergé directement sur le site du CNRS ou du Comité national, l'établissement ne souhaitant pas être responsable des sites des sections.
Présentation de la section
L'institut pilote de la section 6 est l'Institut des sciences de l'information et de leurs interactions (INS2I).
Les compétences de la section couvrent principalement les activités de recherche liées aux mots-clés suivants :
I. Algorithmique et structures discrètes
- Algorithmique, algorithmes d’approximation, algorithmes probabilistes
- Algorithmique distribuée
- Modèles de calcul, complexité, calculabilité, systèmes dynamiques
- Combinatoire, théorie des graphes
- Théorie des langages
II. Calcul
- Arithmétique des ordinateurs
- Calcul formel
- Calcul à haute performance
III. Sciences de la programmation et du logiciel
- Langages de programmation, sémantique, compilation
- Théorie de la preuve, démonstration automatique
- Sûreté de fonctionnement, vérification de modèles, analyse de programmes
- Génie logiciel
- Architectures logicielles
IV. Réseaux et systèmes distribués
- Gestion des infrastructures distribuées à grande échelle
- Protocoles, services, analyse des réseaux filaires et sans fil
- Algorithmique pour les réseaux et les systèmes distribués
- Gestion des ressources, efficacité énergétique
- Virtualisation
V. Intelligence artificielle et sciences des données
- Gestion des données complexes : données (semi-)structurées, graphes, réseaux sociaux
- Apprentissage automatique, fouille de données
- Ingénierie des connaissances, web sémantique, recherche d'information
- Représentation des connaissances, raisonnement
VI. Recherche opérationnelle et science de la décision
- Optimisation discrète, programmation mathématique, satisfaction de contraintes
- Ordonnancement, logistique
- Choix social computationnel, théorie algorithmique des jeux, systèmes multi-agents
VII. Sécurité informatique
- Cryptologie
- Sécurité des réseaux, des systèmes, des logiciels
- Protection de la vie privée
- Protection des communications
VIII. Informatique quantique
- Algorithmique quantique
- Cryptographie quantique
- Information quantique
- Modèle de calcul quantique
IX. Sciences de l’information en interaction avec les sciences du vivant (biologie, santé, environnement)
- Méthodes informatiques pour l'analyse des données et connaissances du vivant
- Bioinformatique, modélisation discrète
Agenda de la section
Membres de la section
Collège A : Directeurs de recherche et Professeurs d'Université
A1 : DR CNRS
- Valérie Berthé (IRIF), élue
- Johanne Cohen (LISN), élue
- Yves Grandvalet (Heudiasyc), nommé
- Arnaud Legrand (LIG), nommé
- Michael Poss (LIRMM), élu
- Hélène Waeselynck (LAAS), nommée, membre du bureau
A2 : PU et autres organismes
- Jérémie Bourdon (LS2N), nommé
- Anca Muscholl (LaBRI), élue
- Maria Potop-Butucaru (LIP6), nommée, membre du bureau
- Romain Rouvoy (CRIStAL), élu
- Pierre Senellart (DI ENS), élu, président
- Ye-Qiong Song (LORIA), nommé
- Alain Tchana (LIP), nommé, membre du bureau
Collège B : Chargés de recherche et Maîtres de conférences (élus)
B1 : CR CNRS
- Nicolas Bousquet (LIRIS)
- Anastasia Paparrizou (CRIL)
- Thomas Seiller (LIPN), secrétaire scientifique
B2 : MCF
Collège C : Ingénieurs et Techniciens (élues)
- Nathalie Appel (Délégation Centre-Est)
- Yolande Sallent (Délégation Côte d'Azur)
- Patricia Georgeon (LIS)