Projets financés

Le but principale est d'étudier des problèmes algorithmiques et structurels fondamentaux en informatique théorique dans des modèles modernes de calcul et de données, apr exemple: streaming, en-ligne, multi-étapes, ou incorporant l'incertitude, robustesse, et la necessité de tests. En particulier on

L'un des grands défis de l'imagerie est de pouvoir reconstruire des images haute-résolution à partir de mesures incomplètes et bruitées. Une pratique courante pour résoudre de tels problèmes inverses est de définir une grille de pixels sur laquelle on reconstruit une image qui explique les observati

Les probabilités sont essentielles en informatique. De nombreux algorithmes utilisent des choix probabilistes par souci d'efficacité ou pour des raisons pratiques. Plus récemment, la programmation stochastique, et plus spécialement, la programmation stochastique fonctionnelle, a commencé à jouer un

Plusieurs progrès significatifs et récents en calcul formel ont permis d'ouvrir de nouvelles perspectives pour les problèmes algorithmiques de la géométrie semi-algébrique comme par exemple des tests de connexité ou bien la détermination des composantes connexes d'ensembles semi-algébriques. U

Un des challenges cruciaux de l’ère digitale est le besoin de prendre des décisions en temps réel dans des systèmes complexes, reposant souvent sur des données qui arrivent avec des volumes importants: acheminement du trafic, marchés en relation en ligne et la détection de logiciels malveillants et

Un des problèmes centraux en théorie des bases de données est l'évaluation efficace de requêtes, c'est-à-dire calculer le résultat d'une requête sur une base de données fournie en entrée. Ce domaine de recherche a une longue histoire et a mené à de nombreux résultats et directions, par exemple des a

Les objectifs du projet sont de faire des avancées en théorie des digraphes afin d’avoir une meilleure compréhension de ces objets, d’un point de vue structurel et algorithmique, ainsi que des différences et similarités entre graphes et digraphes. Un intérêt particulier sera porté sur les problèmes

La combinatoire énumérative est le domaine de la combinatoire qui vise à trouver le nombre de façons dont certains motifs peuvent être formés. Le problème de la découverte d’une formule d’énumération implique souvent de dériver une relation de récurrence ou une fonction génératrice, et de l’utiliser

Ce projet est consacré au développement d’outils innovants de traitement d'image reposant à la fois sur des méthodes d’optimisation et d’analyse multirésolution pour la détection d'interfaces dans des données de très grande taille. Ce projet repose essentiellement sur: (Obj 1) Une étude théorique a

Le but du projet CIAO est d'étudier la sécurité et d'améliorer l'efficacité du protocole SIDH (supersingular isogenies Diffie Helmann), qui est un des projets de cryptographie post-quantique déposé au NIST, sélectionné pour le deuxième tour. Le projet englobe tous les aspects du cryptosystème S

Les mathématiques à rebours sont un programme fondationnel à l'intersection entre la calculabilité et la théorie de la preuve, dont le but est déterminer la puissance calculatoire des axiomes nécessaires pour prouver les mathématiques de tous les jours. Ce programme a permis de révéler un phénomène

La sémantique dénotationnelle propose une méthodologie pour raisonner formellement, et de façon modulaire, sur les programmes et leur comportement. Elle y parvient en plongeant les programmes dans un univers mathématique approprié, permettant de démontrer la correction d'un programme comme un théorè

Le projet C_SyDiSi vise à étudier la frontière de la complexité dans les systèmes complexes simples. Pour ce faire, nous proposons une approche formelle transverse basée sur les modèles de calculs et mêlant différents systèmes. À l’aide de l’impulsion donnée par l’étude des traces (mots unidimens

Estimer l'exposition de la vie privée implique de pouvoir 1) modéliser les connaissances qu'un attaquant peut obtenir, et 2) déterminer ce qu'il peut en déduire. Les méthodes formelles telles que la logique permettent d'y parvenir. Pour vérifier formellement une propriété, il est nécessaire de conce

L'une des clés pour resoudre ces défis est la notion de 'sketch' : extraire un petit sous-ensemble - de taille constante - qui capture les caractéristiques étudiées de l'intégralité des données, à epsilon près. Le but est de construire des sketches dont la taille est indépendante de la taille des do

Le projet ODISSE est à la croisée des chemins des problèmes inverses pour les équations aux dérivées partielles (EDP) d’évolution et de la théorie des observateurs pour les systèmes dynamiques. Ces deux disciplines ont une longue et riche histoire d’interactions et leur chevauchement devient de plus

Le contrôle quantique tente d'appliquer et d'étendre les principes déjà utilisés pour les systèmes de contrôle classiques au domaine quantique. Nous espérons établir une théorie du contrôle spécifiquement dédiée à la régulation des systèmes quantiques. Cette proposition aborde certains problèmes cl

On assiste depuis 5 ans à un engouement majeur et persistant pour le traitement des mégadonnées, en écho à une mutation radicale de nos sociétés de l’information. Nombre d’applications impliquant ces mégadonnées sont structurées par un réseau et requièrent des actions en temps réel compte tenu de le

ASCETE est un projet méthodologique dont l'objectif est de se focaliser sur le développement de méthodes adaptatives pour décomposer des signaux complexes non stationnaires en un petit nombre de composantes physiquement significatives. L'accent est mis sur des approches de type réallocation et plus