Comité national de la recherche Scientifique - Section 06

Les sections


Section 06 : Sciences de l'information : fondements de l'informatique, calculs, algorithmes, représentations, exploitations

L'institut pilote de la section est l'Institut des sciences de l'information et de leurs interactions

Mots clés

  • 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
  • Arithmétique des ordinateurs
  • Calcul formel
  • Calcul à haute performance
  • 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
  • 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
  • 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
  • Optimisation discrète, programmation mathématique, satisfaction de contraintes
  • Ordonnancement, logistique
  • Choix social computationnel, théorie algorithmique des jeux, systèmes multi-agents
  • Cryptologie
  • Sécurité des réseaux, des systèmes, des logiciels
  • Protection de la vie privée
  • Protection des communications
  • Algorithmique quantique
  • Cryptographie quantique
  • Information quantique
  • Modèle de calcul quantique
  • Méthodes informatiques pour l'analyse des données et connaissances du vivant
  • Bioinformatique, modélisation discrète

Composition de la section

Annuaire des membres de la section