Work
Research, robotics, and infrastructure. Explore interactive case studies of the systems I work on.
Selected projects
- Mathematical Theorem RetrievalUW Math AI Lab, 2026NeurIPS 2026 workshop acceptanceA fine-tuned embedder for theorem retrieval across natural language, LaTeX, and Lean.
- CMR — LiDAR Lane DetectionRobotics / Graph theory, ongoingIn progressExploring graph theory for lane detection from LiDAR point clouds.
- ARUW — Real-Time PerceptionAdvanced Robotics at UW, 2025–26~30 ms → 6–7 msEnd-to-end latency for a Jetson detection and classification pipeline.
Dev projects
- BoxesSelf-hosted infrastructurePersistent development containers, browser terminals, and GitHub-based app deployments on a single machine.
- HivePersonal project / In developmentI’m developing Hive, a personal agent platform for coordinating AI agents and tools across local and cloud environments.
- KasmV2Poway Unified School District, 2024–25Browser-based computing infrastructure deployed across five high schools.
Earlier projects
Selected work from before college.
- RiftSystems / EducationAn AWS EC2 management and teaching tool used by over 200 students to deploy websites and work with cloud infrastructure.
- FTC Team 15171 ScorpioRobotics, 2019–2025Led programming and autonomous systems for a competitive FIRST Tech Challenge team.
- TrinamiX — Material IdentificationIndustry / Machine learning, August–November 2023Developed material-classification models and a custom imaging dataset pipeline based on laser speckle patterns.
- Plastic Classification ResearchEarlier research, 2023Investigated visual classification of plastic bottles and published the project in Horizon Academic Research Journal, Vol. 4 No. 2.
- Tech Space × Qualcomm QIDKEarlier collaboration, 2023Worked on computer vision and robotics for waste recycling using Qualcomm’s Innovators Development Kit.
- MediLinkHackathon prototype, 2024A blockchain-inspired medical-record sharing concept prototyped for the Big Data for San Diego Hackathon.
- ArtemisPersonal projectA Raspberry Pi assistant connecting hand-gesture recognition, a voice interface, and GPT-powered commands.
- LLM Safety Research — UC MercedEarlier researchStudied language-model behavior in safety-critical use cases under the guidance of Ayush Pandey.
- CodeMaxxersTeam projectCoordinated a 15-student team building an educational computer science game.