Graduate student summer researcher studying applications of higher mathematics—in particular topology and modal logic—to software as part of the Safety-Critical Avionics Systems Branch of the Research Directorate at NASA’s Langley Research Center. The Safety-Critical Avionics Systems Branch conducts research into new methodologies and tools for designing and validating high confidence software-intensive systems to improve reliability and capacity in mission-critical or life-critical aerospace systems.

Worked as part of a team of mathematicians and software engineers to develop trading infrastructure for options market making of cryptocurrency and to translate models and insights from academic literature into efficient, high-performance code.