Mes travaux ont porté sur la cryptographie à clé publique. En particulier, je me suis intéressé au chiffrement à clé publique dans le cadre de la messagerie sécurisée.Mon objectif a été de construire des primitives efficaces permettant de renforcer (...)

Les réseaux de neurones profonds parcimonieux offrent une opportunité pratique convaincante pour réduire le coût de l'entraînement, de l'inférence et du stockage,qui augmente de manière exponentielle dans l'état de l'art de l'apprentissage profond. (...)

Les problèmes en combinatoire sont souvent formulés de la manière suivante: “Est-il vrai qu’un objet X satisfait la propriété Y?”. Lorsque la réponse est “oui”, l’informaticien aime avoir ce qu’il nomme un “certificat”. Par exemple, si la question (...)

Un tenseur symétrique est un tableau multidimensionnel dont les entrées sont invariantes sous toutes les permutations de ses indices et il est équivalent à un polynôme homogène dont le degré est égal à l’ordre du tenseur. Dans cette thèse, nous (...)

Finding efficient codes is crucial for achieving reliable communication over noisy channels. While error-correcting codes for i.i.d. channels are well understood, the task of approximating the best code for a general channel, i.e. that maximizes the (...)

Les simulations numériques sont un outil puissant pour la recherche scientifique et l’industrie, considéré comme le troisième pillier de la Science par les scientifique. Le Calcul Haute-Performance (HPC) est la science d’améliorer les performances (...)

Le but de l'atelier est d’entendre comment une voix émerge comme par magie d’une polyphonie sans qu’aucun chanteur ne la chante.Les principes sous-jacents à ce phénomène, utilisé par exemple dans le chant traditionnel sarde, seront expliqués et (...)

Cette thèse en algèbre linéaire exacte présente des algorithmes rapides pour le calcul du déterminant de matrices polynomiales à structure de déplacement et une étude de formats de matrices quasiséparables.Les matrices polynomiales à structure de (...)

L'Internet des objets (IoT) est une infrastructure mondiale interconnectant des objets physiques et virtuels grâce à des technologies de réseau interopérables. Il offre un large éventail d'applications dans des domaines tels que les villes (...)

Les bases de données distribuées de type clé-valeur, où chaque entrée est associée à une clé de partition unique, sont des composants centraux des architectures modernes, notamment grâce à leurs propriétés de passage à l’échelle et de tolérance aux (...)

Hardware accelerators, such as GPUs, now provide a large part of the computational power used for scientific simulations. GPUs come with their own limited memory and are connected to the main memory of the machine via a bus with limited bandwidth. (...)

Cette thèse s’intéresse à l’utilisation de l’heuristique de Fiat-Shamir au sein des signatures fondées sur les réseaux Euclidiens. Ceux-ci définissent une classe de problèmes supposés difficiles, même pour un ordinateur quantique.Une signature permet (...)

Learning from data is a fundamental problem in statistics that has applications in almost every aspect of our lives. There are two natural classes of strategies for learning from data. Non-adaptive strategies collect all the required data and then (...)

De nos jours, les réseaux sans fil (RSF) sont omniprésents et sont amenés, pour répondre à nos besoins importants de connectivité, à augmenter la densité de leurs déploiement et à supporter un grand nombre d’interférences. Pour gérer cette complexité (...)

L'apiculture de précision vise à préserver les colonies d'abeilles domestiques tout en épaulant les apiculteurs dans leur travail de développement des colonies et de production de ressources, dont le miel. Par sa nature, ce sujet force à lier l (...)

Depuis la fin du scaling de Dennard, il s’est avéré que de futurs gains de performance viendront du calcul parallèle, et plus particulièrement de l’utilisation d’architectures multicœur. Aussi bien programmer qu’obtenir les performances optimales sur (...)

My thesis, in its broadest sense, is about the chromatic number of graphs. The main themes of the thesis are χ-boundedness and intersection graphs of geometrical objects, and a family of graphs which has applications in both: Burling graphs. Most of (...)

Cette thèse a pour objectif d’étudier différents problèmes liés à l’ordonnancement dans le contexte du calcul haute performance, en se concentrant sur deux enjeux majeurs : la résilience et la consommation d’énergie. Avec l’augmentation constante de (...)

DNA origami is a technique used to build bio-compatible structures at the nanometer scale with remarkable ease and precision. The technique consists in letting self-assemble a carefully designed network of DNA strands. The key step in DNA origami (...)

Today, in telecommunication networks, much shift is ongoing with the emergence of softwarization and cloudification. Among these technologies, NFV (Network Function Virtualization) is the network architecture that decouples network functions from (...)

Due to the increasing number of nodes in supercomputers, scientific applications are frequently interrupted by failures. Ensuring a correct and uninterrupted application execution requires faulttolerance mechanisms, consisting of Checkpoint/Rollback (...)

Théorème en musique ou musique en théorème ? Comment l’étude physique de la vibration d’une corde et un théorème démontré dans les années 1950 (le théorème des trois distances) expliquent pourquoi dans toutes les civilisations, les gammes (...)

Cette thèse est divisée en deux parties, qui ont en commun le problème du non-déterminisme chez différents modèles d'automates, et la résolution de celui-ci. La première partie s'intéresse à une forme de limitation du non-déterminisme, que l'on (...)

Ma thèse s’intéresse à la sémantique du pi-calcul – un langage de programmation concurrent – lorsqu’il est soumis à des contraintes de typage. L’objectif est de comprendre comment ces restrictions affectent les bisimulations, des techniques de (...)

Le but de cette thèse est de fournir un système de preuves structurelles pour la logique modale de Riesz. La logique modale de Riesz est une logique modale à valeurs réelles, i.e., ces termes sont interprétés par des nombres réels plutôt que par des (...)

Understanding the properties of objects under a natural product operation is a central theme in mathematics, computer science and physics. Examples of such basic objects include noisy communication channels in information theory, computational (...)

L’École normale supérieure de Lyon a l’honneur de remettre les insignes de Docteur Honoris Causa à Abhijit Banerjee, économiste américain et Paul Seymour, mathématicien britannique. Abhijit Banerjee est professeur au Massachusetts Institute of (...)

Wearable wireless RFID devices provide novel ways to follow face-to-face interactions of people in various settings. Their application in pre-schools to record daily contacts and oral interactions of children can disclose how the social networks and (...)

Proving properties on programs accessing data-structures such as arrays often requires universally quanti_ed invariants, e.g., \all elements below index i are nonzero". Instead of directly manipulating programs, we use Horn formulas which have (...)

The polyhedral model is a algebraic-based framework which enables efficient code optimization for computer-intensive programs which has been a prolific area of research since its inception. However, its strong assumptions about the shape of the (...)