Assisted development of a model-based testing system for validating an internal API’s behavior.
Work
- Jun2025 - Sep2025Amazon Web ServicesApplied Scientist Intern
- Jun2024 - Sep2024Amazon Web ServicesApplied Scientist Intern
Helped design and develop a new domain specific language for internal use. Main contribution included partially designing semantics for quantification in the language.
- Jul2023 - Oct2023Amazon Web ServicesApplied Scientist Intern
Researched authorization methods for an AWS service. Results have patent application pending.