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’m active in the open source community in my spare time; the main projects where I’m 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.
Jobicy
571 professionals pay to access exclusive and experimental features on Jobicy
Free
USD $0/month
For people just getting started
Plus
USD $8/month
Everything in Free, and: