resume
Work experience across AI hardware, GPU memory verification, bare-metal systems, robotics, and semiconductor research.
Experience
-
2026 -Santa Clara, CA
NVIDIA
GPU/SoC Memory Subsystem Design Verification Intern
SystemVerilog, UVM, memory subsystems, C2C interconnect
- Design verification for GPU/SoC memory subsystems and C2C interconnect.
- 2025 - 2026
Los Altos, CA
Majestic Labs
ML Systems Engineer
Disaggregated memory, runtime infrastructure, performance counters
- Architected and implemented kernel-level performance instrumentation and observability for Majestic Labs’ custom AI silicon stack, enabling bottleneck analysis and optimization of large-scale training and inference workloads.
-
2025 - 2026Stanford, CA
Stanford Tambe Lab
Researcher
Agentic RTL Design & Verification
- Developing reinforcement learning environments and verification-grounded infrastructure for AI agents that autonomously generate and debug Verilog RTL, advancing reliable AI-driven chip design.
- Building rigorous evaluation pipelines for synthetic RTL benchmarks through specification auditing, coverage-driven testbenches, and deterministic cosimulation-based correctness validation.
-
2025 - 2025Santa Clara, CA
AMD
GPU Design Verification Intern
SystemVerilog, UVM, ML-assisted verification, memory controllers
- Developed ML-powered tooling used by 100+ engineers to automate UVM test bench generation and verification bug triaging.
- Implemented UVM verification infrastructure for next-generation HBM/GDDR7 memory controllers used in production AMD GPUs.
-
2024 - 2024Tokyo, JP
Biimo
Co-Founder
Edge-Deployed Computer Vision, TypeScript, Real-Time Human Pose Estimation, Embedded Systems
- Built a Reazon Capital-backed, $1M-backed, TV-based AI fitness companion for elderly users in Japan.
- Developed a remote-control-first interface and Raspberry Pi camera pipeline for pose estimation, rep counting, and adaptive workout feedback.
- 2021 - 2023
Stanford, CA
Stanford Robust Systems Group
Researcher
RRAM research, deep neural networks, probabilistic modeling, verification
- Developed deep neural networks and probabilistic models to predict statistical behavior of RRAM during SET/RESET programming.
- Described use case in which model serves as key testing component in functional verification of multiple-bits-per-cell RRAM controller.
- First author on IEEE research paper and presented at SISPAD 2023 in Kobe, Japan.
-
2021 - 2024Remote
Dalus AI, Luna Inc, Project Planet
iOS Developer (Contract Roles)
Swift, SwiftUI, Xcode, XCTest, CocoaPods, Firebase Auth/Firestore, ARKit, Core Data, Memory, TestFlight
- Dalus AI: Built app to capture environment data including images, depth maps, and camera pose, generating Gaussian splats for 3D modeling.
- Luna Inc: Developed nightlife booking platform with user auth, payments, messaging, and real-time photo posting for 2,500 users.
- Project Planet: Created a carbon footprint tracker reducing 3,000 tons of CO2 over 3 years, with 2,000 downloads in 26 countries.