Current Work

Citadel Securities

Citadel Securities is a global market marker. Paid and on-site.

Software Engineer Intern2025-Present

Ongoing work.

UCSD ProgSys

UCSD ProgSys Group researches topics relevant to programming languages. Unpaid and hybrid.

Undergraduate Researcher2025-Present

I am helping formalize the correctness of a constrained-decoding algorithm using the Lean theorem prover.

UCSD Spatiotemporal Lab

UCSD STL is a research group focused on spatiotemporal systems and physics-based deep learning. Unpaid and hybrid.

Undergraduate Researcher2022-Present

I am a part of the lab's work related to symmetry and equation discovery.

AtlasD: Automatic Local Symmetry Discovery, 42nd International Conference on Machine Learning

Past Work

Turakhia Lab

Turakhia Lab focuses on novel methodologies in bioinformatics. Paid and on-site

Undergraduate Researcher2023-2025

I am responsibile for optimizing and developing algorithms pertinent to virus discovery from wastewater data. This was done through both parallelization and a linear runtime reduction.

MaXentric Technologies

MaXentric is a government contractor that specializes in SBIRs. Paid and on-site.

Software Engineer Intern2023

I automated the calibration of radars and also modified their FreeRTOS firmware to allow loading of configuration via SD card. I developed UDP-based data transfer script to track packet loss on a V band network. In my work, I utilized Wireshark and JTAG interfaces for intricate debugging

Breakout Mentors

Breakout Mentors is a tutoring company. I work under the USA Computing Olympiad division. Paid and remote.

USACO Coach2022-Present

One-on-one tutoring with high school students. Teaching relatively advanced problem solving skills (students vary from bronze to gold). Custom problems are hosted on a self-written grading server.