Assisted development of a model-based testing system for validating an internal API’s behavior.

Helped design and develop a new domain specific language for internal use. Main contribution included partially designing semantics for quantification in the language.

Researched authorization methods for an AWS service. Results have patent application pending.