Created in June 14, 2026
2026
This summer I am an Applied Scientist Intern in the Automated Reasoning Group at AWS.