Formation
- Algorithmique avancée, conception et vérification de logiciels sûrs, programmation concurrente, fonctionnelle et répartie, et développement d'architectures logicielles complexes
- Développement de chaînes de typage/interprétation, analyse statique de programmes et conception d'algorithmes pour graphes et applications Web/Mobile
- Algorithmique, OS, réseaux, bases de données, programmation fonctionnelle et OO
- Nombreux projets collaboratifs : C, Java, OCaml, Python, TypeScript
Expériences
- Conception de stratégies de tests complètes pour des produits legacy sans couverture : 3 000+ cas de test sur 4 stacks (Playwright, Jest, pytest, PHPUnit)
- Mise en place de pipelines CI/CD GitLab et de composants CI mutualisés (reporting Allure centralisé) utilisés par 10+ dépôts
- Développement d'outils de validation vidéo objective (VMAF, détection d'images noires/freeze, analyse audio) pour un encodeur vidéo live
- Industrialisation du développement assisté par IA : orchestration multi-agents en sandbox Docker, garde-fous versionnés et tests verts obligatoires. ~720 tests d'intégration produits en 3 jours
- Infrastructure virtualisée : serveurs Docker, orchestration CI/CD, Google Workspace
- Site vitrine : 9 000 visiteurs uniques en 2025, SEO on-page, analytics
- Web App mobile local-first pour suivi de quêtes : auth sécurisée, back-end optimisé haute charge
- Coordination de la stratégie globale, supervision des projets
- Management d'une équipe de 100+ bénévoles
- Événement culturel accueillant 10 000+ visiteurs
- Supervision des caisses, gestion des stocks, traitement des réclamations
Présentations
Présentation sur le portage de MOPSA, analyseur OCaml reposant sur une large pile native (LLVM/Clang, GMP, MPFR, Apron, bindings CamlIDL), vers le navigateur. Plutôt que de traduire le code OCaml comme le font les backends web existants, le runtime bytecode et toute la pile de dépendances sont compilés en WebAssembly avec Emscripten, et le bytecode non modifié est interprété par-dessus, ce qui évite de réécrire les stubs FFI.
Projets
Analyseur statique de bugs de hooks React, fondé sur l'interprétation abstraite d'une IR dédiée à base de CFG. L'analyse est globale, les setters sont suivis dans le graphe d'appels et les hooks personnalisés inlinés entre fichiers, ce qui permet de détecter ce que les linters syntaxiques ne voient pas : boucles de rendu infinies, état dérivé, closures obsolètes, cycles entre composants. 17 règles, distribué comme CLI Rust, paquet npm WebAssembly et action GitHub.
Portage complet de l'analyseur statique MOPSA (OCaml/C/C++) en WebAssembly avec une interface web. Compile toute la chaîne d'outils (Clang inclue) pour exécuter l'analyse directement dans le navigateur.
Application web pour un jeu de piste grandeur nature, développée en collaboration avec plusieurs services de Sorbonne Université. Permet aux nouveaux étudiants de découvrir le campus à travers des quêtes interactives.