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, and functional programming. His expertise will be instrumental in supercharging our tools like hax and making them even easier to use.

We’re excited to have someone of Maxime’s caliber join our team. His passion for building top-notch software aligns perfectly with our mission. With his help, we’re confident in pushing the boundaries of high assurance software.

Let’s give a warm welcome to Maxime! We can’t wait to see what we’ll accomplish together.