Fault-tolerant system with concurrency, RPCs, and consistency guarantees.
Analyzed cache behavior and scaling limits in multicore systems.
Real-time simulation and verification tooling for robotics platforms.