Felipe R. Monteiro

I’m a Senior Applied Scientist at the Automated Reasoning Group at AWS. My research combines automated reasoning and neuro-symbolic AI to improve LLM-agent reliability, with soundness as the north star. I spent the earlier part of my career building model checkers and verifiers for C, C++, and Rust — tools like CBMC, ESBMC, and Kani — and that foundation in formal methods now shapes how I think about making AI agents trustworthy.