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, …