Formal Work

UCSD ProgSys

UCSD ProgSys Group researches topics relevant to programming languages, such as compilers. Unpaid and hybrid.

Undergraduate Researcher2024-Present

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

Turakhia Lab

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

Undergraduate Researcher2023-Present

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

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 discovery. In particular, I helped formulate a definition of local symmetry and a method for discovering such equivariances.

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.