The team here at Cryspen is thrilled to welcome to our newest member, Clement!

Clement joins us fresh from his impressive journey as a PhD student at Inria Paris, where he was part of the Cambium team. His doctoral work focused on the formalization of the powerful but intricate typing system of OCaml modules. Under the supervision of Didier Rémy and Gabriel Radanne, Clement delved deep into the theoretical underpinnings of this masterpiece of language design.

He joins our Tools and Proofs team, where his expertise will be instrumental in conducting rigorous proofs and further enhancing our tooling, including our very own hax. His deep understanding of formal methods and language design will be invaluable as we continue to build robust and reliable software solutions.

His passion for ensuring the correctness and reliability of software aligns perfectly with Cryspen’s mission. We’re incredibly excited to see the fresh perspectives and expertise Clement brings to our team.

Welcome aboard, Clement!