Focused on developing gateway vehicle software and fleet-leel services for critical space operations. My responsibilities include:

* Developing and integrating low-level drivers for new flight-critical hardware.

* Implementation vehicle reliability and optimization improvements within embedded systems.

* Designing and deploying distributed fleet-level services for coordinating large-scale data, such as weather and calibrations.

Worked with elementary and middle school students over the phone to assist them in their homework, mostly in science and math fields. Helped the students gain a better understanding of topics they were struggling in.

Joined on the XM Journeys team.

Restructured database and statistic calculations to make the process incremental, saving time and money.

* Implemented quick and efficient rolling statistic calculations using Spark and SQL.

* Wrote new APIs for the database to seamlessly integrate into front end.

* Designed a metric interface and applied it to the statistic calculation process to monitor performance.

Worked towards a domain-specific language for math proofs in the field of group theory.

* Explored differences in how humans and computers process logic through various proof assistants.

* Designed and developed different proof assistants, including a command line interface through Python

and an interactive interface through JavaScript, made to interface more naturally for students.

* Integrated various systems (Coq, SerAPI, Python, TypeScript) to coordinate interface and logic.

Worked on the mathematical "hat guessing game" on graphs. Developed ideas and theorems for problems in graph theory, while collaborating with other undergraduate students.

Coded a genetic algorithm to try and gain insight towards a specific graph's hat uessing number.