Felipe R. Monteiro

Senior Applied Scientist, Automated Reasoning Group at AWS

prof_pic.jpg

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, including tools like CBMC, ESBMC, and Kani. That foundation in formal methods now shapes how I think about making AI agents trustworthy.

news

Sep 14, 2026 Stumbled upon a video about the Kani paper made by Emergent Minds. Funny to see our work explained back to us :sweat_smile:
Sep 10, 2026 Attended RustConf 2026 and gave a talk on Verifying the Rust Standard Library, where I announced the winners from the past year. Recording coming soon.
Sep 01, 2026 The Rust Foundation published a blog post on our work, How the Rust Standard Library Verification Contest Scaled Past Manual Proof Engineering, based on our NFM 2026 paper.
Jul 26, 2026 Attending FLoC 2026 with the rest of the Automated Reasoning Group gang.
Jul 01, 2026 Kani paper accepted at the Industry Showcase track at ASE 2026 (41st IEEE/ACM International Conference on Automated Software Engineering).

selected publications

  1. NFM
    Verifying the Rust Standard Library
    Byron Cook, Remi Delmas, Zyad Hassan, and 9 more authors
    In NASA Formal Methods: 18th International Symposium, NFM 2026, Los Angeles, CA, USA, May 5–7, 2026, Proceedings, 2026
    DOI
    1 Google Scholar citations
  2. ASE
    Kani: A Model Checker for Rust
    Rémi Delmas, Zyad Hassan, Qinheping Hu, and 9 more authors
    arXiv preprint arXiv:2607.01504, 2026
    preprint
    0 Google Scholar citations
  3. STVR
    Model Checking C++ Programs
    Felipe R. Monteiro, Mikhail R. Gadelha, and Lucas C. Cordeiro
    Software Testing, Verification and Reliability, 2022
    DOI
    43 Google Scholar citations
  4. ICSE
    Code-Level Model Checking in the Software Development Workflow
    Nathan Chong, Byron Cook, Konstantinos Kallas, and 6 more authors
    In 42nd International Conference on Software Engineering (ICSE), 2020
    DOI
    69 Google Scholar citations
  5. ASE
    ESBMC 5.0: An Industrial-Strength C Model Checker
    Mikhail R. Gadelha, Felipe R. Monteiro, Jeremy Morse, and 3 more authors
    In 33rd IEEE/ACM International Conference on Automated Software Engineering (ASE), 2018
    DOI PDF Video
    195 Google Scholar citations