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
∠ Programme d’entrepreneuriat basé à Station F
Entrepreneuriat Étude de marché Networking Financement
∠ 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
∠ Suivi de flux d’information sur l’architecture Arm-v8
Scala Python Z3 Theorem Prover architecture Arm v8-M Assembleur ARM
∠ 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
∠ 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