Name:Felipe R. Monteiro

Bio:

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

Country:United States

Affiliation:Amazon

Research interests:Automated Verification, Program Analysis, Model Checking