Focus Areas

Selected Work

Distributed File System

Fault-tolerant system with concurrent clients and RPC-based coordination.

Multicore Cache Coherence Analysis

Simulated and analyzed cache coherence behavior across multi-core architectures.

Robotic Systems Tooling

Built simulation and verification tooling for real-time robotic systems.