Projets financés

CartesEtPlus est un projet de combinatoire, sur 5 ans. Il est centré sur la combinatoire énumérative et les méthodes bijectives, mais a de fortes interactions avec la combinatoire algébrique, les probabilités, la géométrie et la physique théorique. Les principaux objets d'étude sont les objets to

Le thème central de ce projet est l'étude des structures géométriques et combinatoires liées aux surfaces hyperboliques et à leurs modules d'un point de vue algorithmique. La géométrie hyperbolique apparait, par exemple, en modélisation géométrique, en neuromathématiques ou en physique. Notre object

L’isomorphisme de Curry-Howard entre preuves mathématiques et programmes informatiques, initialement réservé aux langages purement fonctionnels, a depuis été étendu à de nouveaux paradigmes de programmation tels que les opérateurs de contrôle. De manière remarquable, l’ajout d’opérateurs de contrôle

Le projet propose d'étudier le codeur de vraisemblance pour diverses applications du problème de coordination faible, comme les tests d'hypothèse distribués ou les systèmes intégrés de détection et de communication, sans et avec des contraintes de sécurité. Il propose en outre d'étendre le codeur de

Les graphes acycliques dirigés (DAG) constituent une structure de données fondamentale en informatique, omniprésente dans de nombreux domaines : problèmes d'ordonnancement, structures de données persistantes avec partage, systèmes de contrôle de version collaboratifs. Malgré leur importance cruciale

Ce projet vise à développer un cadre théorique, numérique et pratique unifié pour l’estimation d’état de systèmes dynamiques non lisses et hybrides, notamment pour la mécanique non lisse. Cela inclut les systèmes aux solutions continues mais avec un champ de vecteur non régulier voire discontinu, i.

Le projet Human-O se concentre sur l'adaptation des algorithmes d'optimisation aux besoins des systèmes cyber-physiques et sociaux, notamment, les flux d'information et la présence humaine. L'objectif est de concevoir de nouveaux algorithmes qui apprennent à la fois comment les problèmes d'optimisat

La logique est un thème en commun à la fois à la théorie des automates et à l'étude des langages de programmation. En théorie des automates et des circuits, la logique est typiquement utilisée comme un formalisme descriptif pour classifier les classes de complexité. Dans l'étude des langages de prog

Les algorithmes qui évoluent dans un état d'incertitude occupent une place centrale dans la conception et l'analyse des algorithmes. Alors que les approches traditionnelles sont basées sur l'analyse en l'absence totale d'information, les algorithmes avec prédictions cherchent à exploiter certaines i

Elaborant sur des travaux antérieurs consacrés au développement d'outils avancés de traitement du signal reposant sur l'optimisation pour la quantification de l'évolution spatio-temporelle de l'intensité de la pandémie de Covid19 (mesurée par le nombre de reproduction) dans un contexte de crise / d'

Les systèmes réactifs sont des systèmes qui interagissent de façon continue avec un environnement qu'ils ne contrôlent pas. Le but de la synthèse réactive est de construire des systèmes corrects directement à partir de leurs spécifications. Les spécifications quantitatives sont capables de décrire n

Le problème de reconstruction de phase apparaît dans de nombreux domaines de l'imagerie, tels que la cristallographie aux rayons X ou l'imagerie par diffraction cohérente (CDI). Sa résolution joue un rôle clé pour ces modalités d'imagerie, expliquant ainsi la multitude de développements expérimenta

Ce projet vise le développement des méthodes formelles de vérification pour systèmes distribues avec un nombre non-borne de participants, dans lesquelles la communication s'effectue a travers un reseau reconfigurable ou mobile. En plus des propriétés de correction classiques dans la théorie du paral

L’Automatique est fort peu utilisée en épidémiologie, alors que des questions centrales pour elle d’estimation, de prédiction et de supervision se posent naturellement en termes de systèmes entrées-sortie. Ces questions sont rendues difficiles par la non-linéarité des modèles. Le projet NOCIME se pr

La programmation neuro-dynamique (N-DP) offre un éventail d'outils puissants pour le contrôle optimal de systèmes dynamiques non linéaires généraux. La N-DP est d’ailleurs au cœur des succès les plus retentissants de l'apprentissage par renforcement et est extrêmement prometteuse pour l’automatique

La reconstruction de relations est une vaste famille de problèmes algorithmiques, allant de la résolution de systèmes linéaires présentant des motifs spécifiques, à des calculs de polynômes multivariés sous des contraintes d'approximation ou d'interpolation. Ces motifs et variables apportent une str

Le problème de l'apprentissage avec erreurs (Learning With Errors en anglais, ou LWE) et sa variante algébrique module-LWE sont probablement les problèmes algorithmiques les plus connus de la cryptographie fondée sur les réseaux. Leur notoriété peut s'expliquer par le fait qu'ils sont polyvalents (l

L'objectif général du projet de recherche JCJC PANOPLY est de développer un cadre systématique pour le contrôle pratique de réseaux de systèmes hyperboliques linéaires. Les stratégies de contrôle proposées sont dites pratiques dans le sens où elles sont constructives, faciles à mettre en œuvre et re