• View
• Edit
• History
• Print

Les thèmes de recherche de CMF

Le groupe de travail s'intéresse à l'étude des limitations des modèles de calcul, pour différentes notions de complexité. Les thèmes principaux sont:

• Modèles de Calcul: Machines de Turing, RAM, Circuits, Grilles, Automates Cellulaires, Calcul sur les réels, Streaming, Echantillons, Jeux et Mécanismes.
• Complexité Structurelle: Caractérisations logiques de classes de complexité, Complexité algébrique, et étude des classes d'approximation pour les problèmes de calcul et de décision.
• Théorie des Modèles: Modèles finis, Modèles transfinis et Bases de Données.

Les applications informatiques sont les langages de requêtes en Bases de Données, l'Echange et l'Intégration de données, l'algorithmique des Masses de Données, la Vérification de programmes et de protocoles.