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 de leurs interactions (INS2I).
Mots clés
- Algorithmique, combinatoire, graphes, automates, systèmes dynamiques discrets.
- Calcul formel et calcul certifié, arithmétique des ordinateurs, codage et cryptographie.
- Logique, complexité algorithmique et structurelle, sémantique, modèles de calcul.
- Programmation, génie logiciel, vérification et preuves.
- Recherche opérationnelle, aide à la décision, optimisation discrète et continue, satisfaction de contraintes, SAT.
- Systèmes de production, logistique, ordonnancement.
- Intelligence artificielle, système multi-agent, ingénierie / représentation et traitement des connaissances, représentation et traitement de l'incertitude, formalisation des raisonnements, fusion information.
- Environnements informatiques pour l'apprentissage humain.
- Sûreté de fonctionnement, sécurité informatique, protection de la vie privée, réseaux sociaux.
- Réseaux, télécommunications, systèmes distribués, réseaux de capteurs.
- Internet du futur, intelligence ambiante.
- Calcul distribué, grilles, cloud, calcul à haute performance, parallélisme, architecture et compilation, infrastructures à grande échelle.
- Cognition, modélisation pour la médecine, neurosciences computationnelles.
- Systèmes d'informations, web sémantique, masses de données, fouille de données, base de données, gestion de données, recherche d'informations, apprentissage.
- Bioinformatique.
Composition de la section
Annuaire des membres de la section 06
|