Education
- Advanced algorithms, design and verification of safe software, concurrent, functional and distributed programming, and complex software architecture development
- Development of typing/interpretation pipelines, static program analysis, and algorithm design for graphs and Web/Mobile applications
- Algorithms, OS, networks, databases, functional and OO programming
- Many collaborative projects: C, Java, OCaml, Python, TypeScript
Experience
- Designed complete test strategies for zero-coverage legacy products: 3,000+ test cases across 4 stacks (Playwright, Jest, pytest, PHPUnit)
- Built GitLab CI/CD pipelines and shared CI components (centralized Allure reporting) used by 10+ repositories
- Developed objective video-quality validation tools (VMAF, black-frame/freeze detection, audio analysis) for a live video encoder
- Industrialized AI-assisted development: multi-agent orchestration in Docker sandboxes, versioned guardrails and mandatory green tests. ~720 integration tests produced in 3 days
- Virtualized infrastructure: Docker servers, CI/CD orchestration, Google Workspace
- Showcase website: 9,000 unique visitors in 2025, on-page SEO, analytics
- Local-first mobile web app for quest tracking: secure auth, optimized high-load back-end
- Global strategy coordination, project supervision
- Managing a team of 100+ volunteers
- Cultural event welcoming 10,000+ visitors
- Cash register supervision, stock management, complaint handling
Talks
Talk on porting MOPSA, an OCaml analyzer built on a large native stack (LLVM/Clang, GMP, MPFR, Apron, CamlIDL bindings), to the browser. Instead of translating the OCaml code like the existing web backends do, the bytecode runtime and the whole dependency stack are compiled to WebAssembly with Emscripten, and the unmodified bytecode is interpreted on top, so no FFI stub has to be rewritten.
Projects
Static analyzer for React hook bugs, based on abstract interpretation over a dedicated CFG-based IR. The analysis is whole-program, with setters tracked through the call graph and custom hooks inlined across files, which catches what AST linters cannot see: infinite render loops, derived state, stale closures, cross-component cycles. 17 rules, shipped as a Rust CLI, a WebAssembly npm package and a GitHub Action.
Full port of the MOPSA static analyzer (OCaml/C/C++) to WebAssembly with a web frontend. Compiles the entire toolchain (including Clang) to run analysis directly in the browser.
Web app for a real-world treasure hunt built in collaboration with multiple Sorbonne University departments. Helps new students discover the campus through an interactive quest experience.