Projects

Model-Based Autonomous Land Rover

Built a ground-up autonomous differential-drive Land Rover integrating GNC, EKF-based localization, ROS/MAVROS telemetry, and embedded motor control for closed-loop navigation.

ROSSimulinkTeensyMATLABExtended Kalman Filter

Gait-Aware Quadruped Locomotion with Temporal Logic

Research Project

Applied Signal Temporal Logic specifications to shape reinforcement-learning rewards for gait-aware quadruped locomotion, targeting safer and more interpretable policy learning.

Reinforcement LearningSignal Temporal LogicPPOQuadruped LocomotionMuJoCo

Autonomous Vehicle: Motion Planning & Electronics

Developed ROS2/NAV2 autonomy software and vehicle electronics for an IGVC-style autonomous ground vehicle, integrating GPS waypoint navigation, LiDAR-based obstacle avoidance, Cube Orange communication, and custom omnidirectional wheel hardware.

ROS2Nav2GazeboArduPilotCube Orange

Simulated Aquatic Vehicle for Cave Exploration

Built a simulated underwater autonomy stack for cave exploration, integrating sonar-based SLAM, frontier detection, 3D A* planning, waypoint tracking, and STL runtime safety monitoring.

ROS2PLUMEStonefishSLAM3D A*

LEGO EV3 Mini-Vehicle

Built LEGO EV3 autonomous robot behaviors for grid-based navigation, fire detection, wall following, and IR-ball soccer using MicroPython, motor control, and onboard sensors.

LEGO EV3RoboticsControlPath Planning

Cart Pole Stability through Q-Learning

Implemented a PyTorch Double DQN agent for Gymnasium CartPole, using experience replay, epsilon-greedy exploration, target-network updates, and reward/epsilon logging to learn stable pole-balancing behavior.

Reinforcement LearningDQNPython

DuckDB: Learned Indexing Extension

Extended ALEX, a C++ adaptive learned index, by prototyping polynomial/quadratic model nodes to better handle nonlinear key distributions in sorted range-index workloads. Implemented in DuckDB.

DuckDBLearned IndexingALEXC++