- Developing a theory of E-graphs over graphs for graphs derived from ZX diagrams, including E-graph matching, rewriting, and saturation.- Worked on implementing an E-graph approach to ZX diagram simplification as an alternative optimization procedure in PyZX.

- Created the fully modular CuQuantum benchmarking infrastructure that supports multiple frameworks, including Qiskit and Cirq, and targets both CuTensorNet and CuStateVec on any system size and scale.- Designed the CuQuantum benchmarking suite to include a range of theoretical and practical quantum algorithms, where each algorithm implementation was parameterized by the number of qubits or problem unitary.- Integrated CuStateVec into a PyTorch pipeline in order to accelerate machine learning on quantum circuits.- Produced and analyzed benchmarking data to assist in decision making and and engineering efforts.

- Implemented and tested new heuristics to optimize the pattern matching engine in the LLVM backend.- Developed file and system input/output capabilities in the LLVM backend to further enrich languages defined in K.- Constructed a module in the K frontend and implemented hooks in the LLVM backend to bring the power of a foreign function interface to K based languages.- Assisted in the ongoing effort to formalize the semantics of C++ using K by implementing the semantics of aliases.- Worked with different teams to help migrate existing K based projects to the LLVM backend.

- Integrated Google Calendar into the iOS Rider app in Swift through the Uber cross-platform RIB architecture.- Utilized SnapKit to programmatically create and modify UI elements within the iOS app.- Used ReactiveX technology through RxSwift for asynchronous process communication and network connectivity. - Worked closely with backend engineers and designers to deliver a consistent experience across devices.

- Used perl and bash utilities to verify internal system configurations and validate data integrity to discover unused production machines.- Modified patching automation for virtual machines using VMWare's vSphere Perl SDK.- Installed network switches and Hadoop clusters in production data center and gained experience working inside a production data center.

Studying the relationship between the word length and the order of the graph of a free group using SageMath and Python.