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

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