You can find my course notes for Real Analysis here: MATH 140 Notes
research interests
- distributed networked systems
- algebraic formalization
- llm assisted proof generation
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.
- 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. - 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.
- Taxi Predictor Engineered a predictive model utilizing Polynomial Regression to forecast taxi fares based on historical data. Built another model with a Decision Tree to predict taxi trip duration. Applied feature engineering on dataset of over 1 million records and optimized using scikit-learn's GridSearchCV.
- 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 Flet), 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. - 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. - TUAS Blog Writer I write 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. Always paying it forward to our communities. - 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 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.
tech stack(s)
languages
- Java
- Rust
- C/C++
- Python
- Golang
- Matlab
- Lean4 + Coq
- fish + bash
- ARM Assembly
frameworks
- gRPC
- JUnit
- Grafana
- Protobuf
- Prometheus
- numpy/pandas
- Flask/Django
- VictoriaMetrics
- pytorch/TensorFlow/scikit-learn
dev tools
- Git
- VSCode
- Docker
- OpenAPI
- Ansible
- Kubernetes
- Android Studio
- Bitbucket/Bamboo/Jira
- Linux (Arch, Ubuntu, Debian)