Alex will be speaking at Leaning In! 2026 in Berlin this Thursday, March 12.
In his presentation, "Verifying security-critical Rust code with Lean," he will introduce Hax, Cryspen's toolchain for transpiling annotated Rust into monadic Lean code. The talk will explore how this approach leverages Lean's infrastructure to advance formal software verification, ensuring the correctness and reliability of security-critical systems.
Event details: https://leaning.in/2026/