People

Cryspen Welcomes Alex

We welcome Alex to Cryspen

This month, we welcome Alexander Bentkamp (Alex) as the newest member of our team. Alex joins us with a strong background in automated and interactive theorem proving, where his passion for formal …

Cryspen Welcomes Clement

A Warm Welcome to Clement, Our Newest Cryspen Crew Member!

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 …

Cryspen Welcomes Clara

A Warm Welcome to Clara, Our Newest Cryspen Crew Member!

We’re thrilled to officially welcome Clara to the Cryspen team! Clara brings a fantastic blend of experiences and a passion for open-source that aligns perfectly with our mission. Let’s …

Cryspen Welcomes Maxime

Maxime joins the Cryspen family.

We’re thrilled to announce that Maxime Buyse has joined the Cryspen team as a Formal Verification Engineer! 🎉 Maxime is a whiz when it comes to formal methods, software verification, compilers, …

Welcome Jan & Lucas

Cryspen welcomes Lucas Franceschino, lead author of hax, and cryptography engineer Jan Winkelmann to the team.

📢 Exciting News! Cryspen is thrilled to announce the addition of two exceptional minds to our team: Dr. Lucas Franceschino and Jan Winkelmann. 🎓 Lucas, our new R&D Proof & Tool Engineer, …

Welcome Jonas

Cryspen welcomes Dr. Jonas Schneider-Bensch, a cryptography engineer specializing in privacy-preserving technologies and multi-party computation.

📢 Exciting News! 🚀 We are thrilled to welcome Dr. Jonas Schneider-Bensch, to the Cryspen family as our newest R&D Cryptography Engineer! 🎓 Jonas brings a wealth of knowledge and expertise, with a …