My professional journey

Provenrun

2024 - now

Writing Rust & C applications for a secure OS Leveraging hardware-level isolation features, the secure OS provencore provides a formally proven framework for applications to live in. But everyone's needs are different and the 'ecosystem' is still maturing, so there is a lot do do on many aspects - especially in Rust!

Avatar of Author

Atos

2021 - 2023

Working on a state-of-the-art IO accelerator for HPC systems Along with a large team, I'm improving a multi-level cache that transparently capures & redirect the read and writes from a (slow, large) shared storage server to a closer machine hosting large quantities of RAM and SDD memory. Those are used to absorb fast bursts of IO activity, and free the client as soon as possible so that they can resume computation.
Avatar of Author

Rhea

Jul 2019 - Aug 2019

Fiddling around with cybersecurity POCs, VMs and user simulation
Avatar of Author

Ensimag

2019-2021

Helping students manage their Linux-based work environment
Avatar of Author