Systems and Software Verification Laboratory
Manaus, Amazonas, Brazil
Summary
👤
SeniorFelipe Monteiro is an Applied Scientist at AWS’s Automated Reasoning Group with nine years of experience in static analysis, model checking, and software verification. He specializes in compositional verification techniques that scale model checking to complex software systems, turning formal methods into practical tools for production code. His background spans research and industry—from extending ESBMC for C++ verification and CUDA analysis to building battery-testing tools for Android devices—demonstrating a rare blend of deep verification expertise and hands-on engineering. Based in New York, he progressed through multiple SDE roles at Amazon, pairing research-led insights with production-focused delivery. An academic foundation from Universidade Federal do Amazonas and a Google Summer of Code project on type inference signal both rigorous theory and tooling experience that inform his applied research.
10 years of coding experienceProgramming languages (2)
Github contributions (3)
ssvlab/esbmc-gpu
Feb 2017 - Feb 2017
Contributions:3 pushes, 5 branches in 6 days
ssvlab/dsverifier
Nov 2016 - Nov 2018
DSVerifier - Digital Systems Verifier
Contributions:64 commits, 68 PRs, 66 pushes in 2 years
digital-systemsverifier
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.