Experience

Industry Experience

Applied Scientist Intern, Summer 2021

• AWS Automated Reasoning Group, Amazon
• (Remote) Cupertino, CA

Applied Scientist Intern, Fall 2020

• AWS Automated Reasoning Group, Amazon
• (Remote) Boston, MA

Research Intern, Summer 2020

• Systems Research Group, Microsoft Research
• (Remote) Redmond, WA

Teaching Experience

COMPSCI 61 Systems Programming and Machine Organization, Fall 2017

• Course Link: https://cs61.seas.harvard.edu/wiki/2017/Home
• Harvard University