Name:Felipe R. Monteiro

Bio:

Felipe R. Monteiro is a Senior Applied Scientist at the Automated Reasoning Group at AWS. His research combines automated reasoning and neuro-symbolic AI to improve LLM-agent reliability, with soundness as the north star. He spent the earlier part of his career building model checkers for C, C++, and Rust — tools like CBMC, ESBMC, and Kani.

Country:United States

Affiliation:Amazon

Research interests:Automated Verification, Program Analysis, Model Checking, Neurosymbolic AI