Summer 2022

• Worked on program analysis and automated test generation with the Apps Test Engineering team
• Created proof-of-concept coverage-guided fuzzing tools in Swift to automatically find product defects
• Designed and implemented property-based testing framework to extend existing tests, improve test resiliency, and increase test coverage
• Contributed to internal testing framework by capturing, parsing, and postprocessing analytics events, enabling migration away from aging test framework
• Collaborated with senior engineers to modify and recompile iOS apps with injected bugs to reproduce test failures
• Presented to internal and cross-functional partners in order to increase adoption of property-based testing

Summer 2021

• Continued work with REDSCAR team.
• Researched and improved Salesforce’s static analysis tooling with regard to XXE and deserialization attacks.
• Presented work Reducing our Risk Debt at Scale with Application Guard Rails via Static Analysis to SVP, Security Assurance
• Wrote and tested 13 Semgrep rules for Java, Python, and Ruby for a tool run on all code reviews across Salesforce.
• Caught 30 new, high-priority bugs in production code.

Summer 2020

• Worked as part of Reference Design, Security Controls, and Architecture (REDSCAR) team focused on assisting other teams through development and maintenance of tools, documentation, and reference frameworks.
• Categorized security bugs filed by Infrastructure Security Advisory team.
• Collaborated with Secrets team to uncover best areas for and create automated support for secret rotation.
• Integrated Vault and GUS APIs with Python script for AWS Lambda and Go program in Docker container.
• Performed design review for security assessment.

Spring 2021, Fall 2021

• Worked with Dr. Rohan Padhye on creating mutation analysis-based guidance plugin for fuzzer JQF.
• Programmed mutation analysis functionality using Java bytecode instrumentation based on PIT.
• Presentation at CMU's Meeting of the Minds.
• Presentation and winner, second place at ICSE '22
• Currently working toward testing mutation-guided fuzzing on large benchmarks.

Summer 2021

• Performed quality assurance tests for AR/VR pieces submitted to the SIGGRAPH VR Theater.
• Reviewed and edited closed captioning for conference presentations.

Spring 2022

• TA for 17-355/17-665/17-819 Program Analysis.
• Designed recitation about working with JVM bytecode to instrument Java code for program analysis and repair.
• Taught weekly recitations, held office hours, and graded student work.
• Helped graduate and undergraduate students understand and apply concepts from class, including dataflow analysis, Hoare logic, and fuzz testing.

Fall 2020, Fall 2021

• TA for 15-151/21-128 Mathematical Concepts and Proofs.
• Taught weekly recitations, held office hours, and graded student work.
• Helped undergraduate students understand and apply concepts from class, including proofs, functions, and combinatorics.

Summer 2020

• Put together more than 1000 COVID-19 testing kits
• Sewed masks for donation

Spring 2020

• Created Android app with voice recognition software for security authentication.
• Intetgrated AWS and REST APIs with Android app.

Summer 2019

• Analyzed and designed over 100 Excel graphs sorting and depicting information from 2 surveys of high school students regarding usage of and attitudes toward controlled substances (alcohol, tobacco, marijuana, prescription drugs).
• Formal presentation of the data to client Sitka Counseling at monthly meeting.

2017-2019

• Wrote population and use protocols for Scavenger (online database for cataloging music library) and Music Collector
• Populated over 2000 entries to Scavenger and trained volunteers

2018-2019

• Edited and finalized production videos (Seussical, Oliver, One Acts 2018, and Peter Pan) for distribution and display on the Fine Arts Camp website using Adobe Premiere Pro

Summer 2016, 2017, 2018

• Designed and taught week-long workshops in Scratch, MIT App Inventor, Web Development, and Video Editing