Raphaël Rieu-Helft

I am a PhD student at TrustInSoft and in the Inria team Toccata. My supervisor is Guillaume Melquiond.

I work on the design and verification of efficient arbitrary-precision integer arithmetic libraries.

I contribute to the Why3 tool, and use it to develop a verified library heavily inspired from GMP that you can try here.

The wmp library