Expérience professionnelle
Janvier 2024 Ingénieur R&D, UCOPIA BY WEBLIB, Paris
Septembre 2022 ∠ Développement d’un outil de tests automatisés
∠ Mise en place d’une infrastucture avec Proxmox VE et Vmware ESXi
∠ Gestion d’une infrastructure ELK sur AWS
∠ Développement sur le contrôleur UCOPIA
∠ Recrutement de développeurs
Recrutement Linux Sécurité Virtualisation Réseau Gestion de projet Selenium Robot AWS Docker
Janvier 2022 Entrepreneur in Residence, ENTREPRENEUR FIRST, Paris
Octobre 2021 ∠ Programme d’entrepreneuriat basé à Station F
Entrepreneuriat Étude de marché Networking Financement
Septembre 2021 Ingénieur R&D, UCOPIA BY WEBLIB, Paris
Février 2021 ∠ Refonte du contrôleur réseau UCOPIA
∠ Préparation et planification de la refonte
∠ Rédaction de la documentation technique
∠ Création d’une distribution Linux avec Yocto
∠ Développement d’un outil interne avec la bibliothèque Libvirt
∠ Développement de tests QA avec Selenium
∠ Recrutement de développeurs
Recrutement Yocto Linux Go AWS Réseau Gestion de projet Selenium
Movembre 2015 PhD Researcher, CENTRALESUPÉLEC, Rennes, France
Décembre 2020 ∠ Développement d’un co-processeur sur FPGA (Xilinx Zynq-7) en VHDL
∠ Création de crochets LSM (Linux Security Modules)
∠ Développement de pilotes Linux
∠ Conception d’une analyse statique avec le compilateur LLVM
∠ Modifications du format ELF, des outils GNU linker et GNU Binutils
∠ Création d’une distribution Linux avec Yocto
FPGA VHDL Linux LLVM Musl LibC C++ Arm v7 Arm Coresight PTM-A9 Yocto LSM
Janvier 2018 Research Intern | Security Research Team, ARM, Cambridge, UK
Juillet 2017 ∠ Suivi de flux d’information sur l’architecture Arm-v8
Scala Python Z3 Theorem Prover architecture Arm v8-M Assembleur ARM
Mars 2015 Research Intern, UNIVERSITÉ DE CAMBRIDGE, Cambridge, UK
Août 2015 ∠ Développement de deux backends pour le projet Irmin :
∠ irmin-krypto : pour le chiffrement des données
∠ irmin-chunk : pour le découpage des données volumineuses
OCaml Cryptographie Git objects