Projets financés

La transition numérique s'accompagne de risques croissants en sécurité et en protection de la vie privée. Les méthodes formelles, au départ motivées par la vérification des logiciels critiques, ont été graduellement appliquées à la cryptographie et à la protection de la vie privée. En particulier le

Le langage Esterel a fait ses preuves pour les applications critiques. Il a été utilisé dans de nombreux systèmes industriels, notamment chez Airbus et Dassault Aviation. Ce succès d'Esterel dans des domaines nécessitant de fortes garanties de sûreté est attribuable à son modèle de programmation ré

Stocker un graphe dans une machine (modèle de von Newmann) définit implicitement un ordre sur ses sommets. Nous observons que les algorithmes de graphes peuvent tirer parti d'une utilisation intelligente de ces ordres. On peut penser à l'algorithme (Kosaraju-Sahrir 1981) du calcul des composantes

La programmation linéaire en nombres entiers mixtes (MILP) est un problème informatique important et est souvent résolus sur des intrants à grande échelle dans le monde universitaire et industriel. Des progiciels sophistiqués existent à cette fin, et le paradigme algorithmique utilisé par ces pac

Ce projet porte sur le contrôle des équations de transport non-lisses, qui sont des EDPs apparaissant dans nombre d'applications comme le forage pétrolier ou les séismes. L'objectif est d'apporter de nouveaux outils et un nouveau point de vue pour les traiter de manière unifiée afin de les stabilise

Ces dernières années, le monde du calcul distribué a fait une nouvelle découverte révolutionnaire qui va contre l'idée générale que sauver de l'énergie implique un ralentissement du temps de calcul : il est en réalité possible de créer des algorithmes à la fois efficaces en temps et en énergie. Le p

Les réseaux d'automates sont des modèles généraux d'entités en interaction, qui présentent des comportements collectifs "complexes". Lier les règles locales suivies par les entités, l'architecture des interactions, et la dynamique globale, est ce qui motive la communauté. ALARICE a pour objectif de

La cryptographie post-quantique vise à concevoir des primitives cryptographiques qui peuvent être exécutées par des ordinateurs classiques, mais qui résistent aux attaques des ordinateurs quantiques. La cryptographie basée sur les réseaux, standardisée par L'Institut national des normes et de la tec

Les problèmes inverses bilinéaires (BIPs) sont omniprésents dans l’ingénierie et les sciences appliquées, car ils sont naturellement adaptés pour modéliser des systèmes linéaires inconnus. Néanmoins, les BIPs présentent de nombreux défis statistiques et algorithmiques. Ils exigent des hypothèses str

Les objectifs de ce projet sont centrés sur l’analyse et la validation expérimentale de commandes et observateurs/différentiateurs multivalués basés sur la théorie des modes glissants, en temps discret, principalement en utilisant les algorithmes d’Euler implicite et semi-implicite. En effet il est

Calculer des cartes locales optimales est un défi persistant en mathématiques computationnelles, jouant un rôle crucial dans la génération de maillages quadrangulaires et hexaédriques de haute qualité, essentiels pour la simulation de phénomènes physiques fortement anisotropes. De plus, l'importance

Ordinal Time Computation (OTC) est une nouvelle frontière de la recherche en informatique théorique qui vise à dépasser les limites des paradigmes de calcul actuels en relaxant (de manière contrôlée) les contraintes de finitude du temps et d'espace. Le projet OTC vise à étudier les modèles de c

L'optimisation robuste traite l’aléa dans les problèmes d'optimisation par le biais d'ensembles d'incertitude, contournant le besoin d'informations précises sur les distributions des paramètres aléatoires. D'importants progrès méthodologiques ont été réalisés récemment dans ce domaine, dans le cadre

La dualisation des hypergraphes est sans nul doute l’un des problèmes ouverts les plus importants en énumération, apparaissant au carrefour de nombreux domaines de l’informatique allant de la logique aux bases de données. Le problème, noté Trans-Enum, vise à lister tous les transversaux minimaux d’u

Les courbes algébriques réelles et complexes interviennent dans de nombreuses applications en mathématiques, physique et ingénierie : preuve automatique en géométrie, conception assistée par ordinateur, plannification de mouvement en robotique, équations d'ondes non linéaires, etc. Leur manipulation

L'étude théorique des langages de programmation est ancrée dans celle des structures discrètes. Pourtant, le calcul et l'approximation d'objets continus est l'une des principales applications de l'informatique. Le projet DiPLo vise à rapprocher la théorie de la programmation aux mathématiques appliq

En géométrie algorithmique, nous nous attaquons à la tâche difficile qui consiste à calculer efficacement des triangulations certifiées de variétés singulières, qui peuvent être vues commes des espaces stratifiés. Ces structures sont répandues dans divers domaines d'application, notamment la robotiq

PH-DIPSY est un projet de recherche fondamentale qui se concentre sur le développement de nouvelles stratégies de commande et d'estimation pour des systèmes physiques complexes modélisés par les systèmes à paramètres repartis soumis à des phénomènes hybrides (comme les dynamiques à commutation). Le

Le développement récent de nouveaux radio télescopes comme LOFAR ou SKA, composés de plusieurs milliers d'antennes élémentaires, conduit à considérer de nouvelles approches pour leur dimensionnement, en particulier concernant le placement de leurs antennes. Ces nouveaux instruments doivent notamment

En 2020, le porteur du projet a introduit une technique de preuve avec des applications dans de nombreux domaines liés à la combinatoire. Cette technique de preuve repose sur un argument de comptage et appartient à une famille de techniques telles que le Lemme Local de Lovász et la compression d'ent

Ce projet s'inscrit dans le domaine de la théorie des langages réguliers de mots et d'arbres. Son objectif est de comprendre des classes de tels langages. Il propose plusieurs pistes de recherche pour attaquer des problèmes réputés difficiles. La façon standard de "comprendre" une classe de langa