khoa nguyen.
// building reliable infrastructure for uncertain environments.
// based in the bay area.
01. background
i'm a systems engineer at uc berkeley, focused on the intersection of hardware, machine learning, and safety-critical systems.
my work isn't about chasing the latest hype cycle. it's about reliability. whether i'm designing verification tools for google or building flight dynamics sims, i care about how systems fail and how to make them robust.
born and raised in the bay. i like building things that work in the real world, not just in a notebook.
education
interests
02. experience
hardware engineering intern
- developed ai agentic verification tooling to analyze hardware schematics and netlists.
- identified design inconsistencies and potential failure modes across large consumer-device subsystems.
- added instrumentation and recovery logic to verification pipelines, improving robustness.
uc berkeley eecs
researcher
- designed ml-based data processing pipelines for scientific datasets (10^6+ samples).
- built autonomous systems to verify student laboratory work against formal specifications.
calcentral
software engineer
- maintained production system serving 40,000+ users, focusing on reliability and safe deployment.
- debugged timing- and state-related failures, reducing incidents and improving operational confidence.
03. projects
gnc lab
browser-based flight dynamics simulation environment. enables programmable autopilot design and gnc algorithm verification via a code-based interface.
risc-v cpu
3-stage pipelined risc-v processor in verilog. features datapath, control logic, and hazard detection.
robopath
jetson-based embedded perception pipeline. real-time constraints, deterministic execution, and repeatable evaluation.
04. skills
languages
systems
tools
let's connect
always open to discussing new projects, ideas, or opportunities.