Analyse statique par interprétation abstraite de Smart contract en Michelson
Conception et Maîtrise de stratégies opportunistes dans les réseaux basés sur le Blockchain
design, analysis of cryptographic protocols. Currently working on the security analysis of multi-party quantum cryptographic protocols like position based quantum cryptography, relativistic bit commitment.
Réseaux 5G
Missions pour le Laboratoire LIP6 à Paris (40% - 2j/sem) :
- Initiation de la collaboration avec Nicolas Baskiotis et Vincent Guigue au travers de l’encadrement des
aspects Machine Learning de problèmes de séries temporelles (notamment dans le cadre du traitement
de jeu de données portes R2N.
- Elaboration du sujet de thèse
j'ai une thèse encore en cours jusqu'au printemps (Adèle Pass-Lanneau)
et 1 contrat CIFRE ainsi que 2 projets d'un an:
ce qui fait une date de fin d'activités LIP6 pour moi fin 2022
sécretaire générale du QICS
Travail sur les communications et les réseaux quantiques, notamment sur les états quantiques nommés états graphes et leur génération en utilisant des dispositifs à l'état solide
https://arxiv.org/abs/2005.07198
Quantum Mechanics
Quantum Optics and Quantum Information
Foundations of Quantum Mechanics
Quantum Information
Quantum Entanglement
Quantum Information Theory
Quantum Field Theory
Decoherence
Open Quantum Systems
Ses travaux s'inscrivent dans la collaboration avec le Prof. Gastone Ciuti (BioRobotics Institute - Scuola Sant'Anna, Pise, Italie).
Le projet porte sur la conception d'une nouvelle paradigme de capsule endoscopique pour le prélèvement du microbiote in-situ dans le colon.
Etude, modélisation et conception de système de contrôle d'attitude de nanosatellite à base d'une plate-forme FPGA
Réseaux et théorie des graphes