Natalia Klaus
Natalia Klaus is a verification engineer at Runtime Verification, working on formal verification of Linux kernel code in Rust and C. They develop Rust-to-Lean tooling and apply automated provers to Ethereum Foundation zkEVM verification work.