Expert in Software Development

After 16 years of experience since my Master's degree in Math and Computer Science (working on formal verification and floating-point arithmetic during 5 years, then teaching Software Engineering at the University of Toulouse during 11 years), I'd like to apply my expertise within the software industry.

The values of continuous improvement and knowledge sharing are dear to me, and I've been active in the open source community in my spare time; the main projects where I've been involved are pinned on my GitHub profile.

I also enjoy working in a team. To date, I had the pleasure to mentor 28 interns in various research/development projects, and co-supervise a PhD thesis combining Rocq proofs and decision theory.