Sylvain Heraud

Sylvain Heraud is a skilled software development engineer with extensive experience in various domains of computer science. Currently serving as a Senior Development Engineer at Olvid since May 2020, Sylvain previously worked as a Research & Development Engineer at Prove & Run, where significant contributions were made to software development tool chains, compiler optimization, and certifications for security standards. Sylvain's academic background includes a PhD focused on semi-automatic verification of cryptographic primitives at INRIA, with notable work in CertiCrypt and formal proofs of encryption schemes. Additional experience includes formalizing polytime functions and zero-knowledge proofs, as well as advancements in optimizing compilers. Sylvain holds a Master 2 in programming and a Master's in computer science from Université Côte d'Azur.