Works on system-level concurrency and in-memory systems: synchronization primitives, atomic registers, and linearizable data structures for high-speed interconnects. Also applies data science to patent networks to map innovation flows and inform policy.