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.