ECOOP and ISSTA 2023
Mon 17 - Fri 21 July 2023 Seattle (University of Washington campus), Washington, United States
ECOOP and ISSTA 2023 (series) / Felipe R. Monteiro
Felipe R. Monteiro

Registered user since Fri 10 Aug 2018

Name:Felipe R. Monteiro
Bio:

Felipe R. Monteiro is an Applied Scientist with the Automated Reasoning Group at Amazon. His expertise spans static analysis, model checking, and software verification, and his most recent work uses automated reasoning techniques to mitigate hallucinations in LLM-generated code.

Country:United States
Affiliation:Amazon
Personal website: https://feliperodri.github.io/
GitHub: https://github.com/feliperodri
Research interests:Automated Verification, Program Analysis, Model Checking

Contributions

Show activities from other conferences

ECOOP and ISSTA 2023-profile
View general profile