#cryspen — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #cryspen, aggregated by home.social.
-
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!