sujet thèse : explications pour les modèles de décision multi-critère
Automation of proofs for the Ipanema DSL using Why3 and Verifiable C
Optimisation des performances de codes d'assimilation de données.
Quantum Coherence in Noisy Cellular Automata
Verification of Quantum Boltzmann Machine
Sujet de stage : Collaborative Sat Solving
Communication, computing and Networking theory, with applications to wireless communications systems,cogintive networks nand soectrum sharing,multi-user access, computer network performance,internet routing and path computation algorithms, as well as optimization of quening systems.
Invité avec clé pour encadrement des thésards (Falq et Quezada) jusqu'à décembre 2020
En collaboration avec Eleni DIamanti
Doctorant IRT-SystemX
Assistance Ingénierie Pédagogique dans le cadre de la conception d'un Mooc sur les serious game
Contrôles d'accès dans les réseaux sans fil ultra-dense. ce travail est réalisé dans le cadre de la coopération en cours entre l'équipe Midiacom de i'Université Fédérale Fluminense (UFF) et l'équipe PHARE de l'UPMC.
optimisation - équipe RO
Travail avec C. Durr, C. Doerr, F. Pascual, E. Bampis, B. Escoffier, Viet Hung Nguyen
Travail sur ERC MOPSA (Miné)
Cryptographie quantique sur "puce" optique
L’objectif de cette thèse est de démontrer la possibilité d’intégrer un dispositif de distribution quantique de clé (QKD) sur une « puce » fabriquée à partir de la technologie de guides d’ondes optiques intégrés sur silicium. La méthode de cryptographie qui sera mise en oeuvre est basée sur des « variables quantiques continues », dont la mesure nécessite des détections optiques homodynes ou hétérodynes, ce qui évite l’utilisation très pénalisante de compteurs de photons, qui doivent être refroidis et sont délicats à utiliser. L’ensemble du dispositif, y compris les modulateurs et les détecteurs, peut donc être intégré sur la puce, ce qui rend l’utilisation de cette technologie particulièrement attrayante pour réaliser des dispositifs compacts et à bas coût. La thèse abordera des questions à la fois fondamentales (choix précis du protocole QKD utilisé, preuves de sécurité) et appliquées (conception et optimisation des composants en photonique intégrée). Elle sera co-encadrée par le LCFIO (Philippe Grangier) et le LTCI (Eleni Diamanti), qui sont les inventeurs et les promoteurs de cette technologie, à travers de nombreuses publications et plusieurs brevets. Les recherches seront faites en collaboration avec l’IEF à Orsay et en contact avec la start-up SeQureNet, qui est susceptible d’exploiter les résultats. Ceux-ci devraient ouvrir des nouvelles perspectives en permettant la réduction du coût et du volume des dispositifs QKD par plusieurs ordres de grandeur.
Cryptographie
Traffic management in data center networks
mobiles agents, mobiles robots, and distributed algorithms
Réseaux et théorie des graphes
détection d'événements avec les flots de liens
Recherche sur les contrôles d'accès dans les réseaux sans fil ultra-denses.
