Founder/Security researcher at Formal Land

Formal verification in Rocq (PhD). Solitity/Rust/ZK

Discuss: https://calendly.com/guillaume-claret