You can find my notes here.
places i worked at
- Operating Systems Engineering Intern @ ServiceNow Automated the end-to-end Red Hat Enterprise Linux patching lifecycle across a large-scale virtual machine infrastructure using a framework built on Ansible Automation Platform and Python enforcing security protocols. Engineered an observability pipeline for patching operations in Regulated Markets by deploying audit logs. Had a lot of fun.
- DevOps Intern @ Insulet Optimized CI/CD processes, reducing conflict resolution time by 14% with Python scripts. Designed a CLI for developers and automated permission management using REST APIs.
stuff i worked on
- SURFStore A fault-tolerant, asynchronous, distributed, networked database that supports file storage and retrieval using the RAFT consensus algorithm as part of CSE 224. Used Golang, gRPC, Protobuf, TCP/IP.
- junkfish A Chess bot running on low-power recycled IoT microcontroller units on a custom chess engine in C++. Uses the minimax algorithm with alpha-beta pruning. Won 1st place at Fall 2024 UCSD IEEE Quarterly Projects.
- termail Architected a TUI email client implementing a plugin system via a custom WebAssembly (using the WASI component model) runtime for secure, sandboxed extension execution. Engineered a concurrent rendering pipeline to handle IMAP/SMTP network I/O asynchronously without blocking UI. Designed a modal-centric interface with ratatui, implementing vim-like keybindings for keyboard-only navigation. See technical report here.
- enclose.horse ILP Solver Built an Integer Linear Programming (ILP) solver for the puzzle game enclose.horse, reducing each level to a multi-commodity flow ILP that enforces global connectivity (avoiding disconnected "adversarial" enclosures) while handling game mechanics like portals and tile modifiers. Benchmarked on 12,689 puzzles, the solver matched the reported optimal score on 93.87% of levels and exceeded it on 5.33%, with a 0.354s median solve time on non-timeout cases. See technical report here.
- Notes Website Built and deployed a Quartz-based notes site to GitHub Pages, with CI workflows that automatically rebuild and publish updates on every push. Implemented custom Quartz plugins to support math-heavy content, including a Desmos transformer/emitter that integrates Obsidian Desmos graphs via pre-generated SVG assets, plus TikZ support for embedded diagram rendering.
- BlazeGuard.ai Trained a ResNet 18-layer CNN on Canadian wildfire satellite images over the last 30 years to predict wildfire outbreaks. Won 2nd place @ UCSD DiamondHacks 2024.
- Distributed ML Data Loading with gRPC Implemented a distributed data loading pipeline for CIFAR-100 backed by gRPC microservices with proxy caching and configurable prefetching to hide shard-latency. Added server-side data transformations selectable at runtime, and used a custom PyTorch CIFAR100 dataset to stream transformed shards over gRPC for training, with end-to-end deployment/testing on Kubernetes. See technical report here.
- Firefox Render Relay (F2R2) Developed a high-fidelity, privacy-focused remote browsing architecture by streaming underlying WebRender drawing commands. F2R2 hooks directly into Firefox's graphics pipeline to relay rendering state to a thin client. Required extensive reverse-engineering of Mozilla's internal, Rust-based debugging tool wrench. We developed caching mechanisms and restored incremental resource loading strategies, successfully resurrecting persistent text and dynamic image rendering. See technical report here.
- Auslander Buchsbaum Serre Theorem Formalization Attempted to formalize the Auslander-Buchsbaum-Serre theorem in Lean4, which characterizes regular local rings as those with finite global dimension. Project canceled due to the complexity of the required homological algebra and commutative algebra machinery, alongside the steep learning curve of Lean4 and its mathlib library.
- Concrete Semantics in Lean4 Formalized select chapters and problems of the textbook Concrete Semantics in Lean4, translating textbook operational semantics and program proofs into machine-checked code. Added a small DSL layer via custom notation (e.g., list constructors/operators) and used Mathlib tactics (e.g., linarith, ring) to mechanize and simplify proof workflows. AFAIK first of it's kind on GitHub.
- Successerator Android App Developed interactive UI elements for an Android To-Do app in an 6 person team with Agile Development. Used Java, Android Studio, JUnit, and Espresso (UI Testing). Built for CSE 110.
- Capacitive Touch Keyboard Software Developed cross-compatible UI to program custom-made touchpads for rhythm games. Built with ESP32 S3 microcontroller, Flet (Python wrapper for Flutter), pyautogui, and pyserial. Awarded the Best Project Demo Award by IEEE out of 108 participants. IEEE QP FA23.
- REST API Error Handling Conducted research on REST API error handling, creating a Flask-based web coding environment to collect data on how software engineers handle errors to write code. Former research assistant at SALAD Lab @ UCSD under Professor Coblenz.
- TUAS Blog Writer I (used to) write blog posts about the Triton Unmanned Aerial Systems team and promote their brand on LinkedIn.
- CSE Instructional Assistant Tutored CSE 11 @ FA23, CSE 29 @ SP24, CSE 8A @ FA24, CSE 29 @ SP25, CSE 8A @ FA25. Always paying it forward to our communities.
- Linux For Quants Gave a talk for UCSD's TQT in Fall 2025.
events i won
- UCSD SMASH Hackathon Won 1st place for the most innovative machine learning model to detect Gravitational Wave Anomalies in LIGO data. Preprocessed data with a signal convolution and compared it to signal entropy. Used a Variational Autoencoder to detect anomalies.
- SDSU Datahacks 2024 (Team HARK) Won honorable mention for Geocomputational Thinker for simulating pharmaceutical supply chains in rural, low-resource, and underdeveloped communities. Used Python, Pandas, and NumPy to model the supply chain. Vectorized all functions to support for up to 10 million stakeholders.
- Game of Life Simulator Implemented Conway's Game of Life using C. Hand-wrote Assembly to optimize main loop generation performance by 30.5x. Placed 8th out of 450 students. Built for CSE 30.