Formal verification specialist ensuring software correctness through mathematical proofs. Working on verified smart contracts and critical systems verification.