About me
Michael Tautschnig is a Senior Applied Scientist at AWS, where he builds formal verification technology for Rust and C. He is a lead developer of the Kani Rust Verifier and a long-time contributor to CBMC, the model checker that powers much of this work. His focus is applying automated reasoning to secure critical infrastructure in production, including projects such as Firecracker and s2n-quic, and — most relevant here — the effort to formally verify the safety of the Rust standard library. He holds a PhD from the Vienna University of Technology and publishes regularly on automated program analysis and model checking.
