We're thrilled to welcome Alexander Bentkamp to the Cryspen family!

Alex joins our Tools and Proofs team with a deep background in automated and interactive theorem proving, especially with the Lean proof assistant. We're excited to have his expertise as we continue our work on formally verifying security-critical software.

Welcome aboard, Alex!

https://cryspen.com/post/welcome_alex/

#Cryspen #Welcome #FormalVerification #TheoremProving

One of the challenges with the deployment of more automated reasoning is often the tooling. Cool to see #Cryspen invest in a new integrated development and verification environment based on hax. Congrats @franziskus and team :)
https://cryspen.com/post/cyber-campus-hax/

#FormalMethods #FormalVerification