About me
Felipe R. Monteiro is a Senior Applied Scientist at AWS, where he builds formal verification technology for C and Rust. He is a lead developer of the Kani Rust Verifier and a committee member of the Rust standard library verification project — the community effort to formally prove the safety of the standard library. Over the past 13 years he has contributed to automated reasoning and software model checking for systems-level code through tools such as ESBMC, CBMC, and Kani. More recently, his work combines formal methods with neuro-symbolic AI to improve the reliability of LLM-based agents, using soundness as the north star.
LinkedIn
